Всем привет. Я об одну задачу мозг сломал - может подскажет кто решение. Хочется сделать шаблонный класс, у которого есть обязательный набор параметров_типов и один опциональный параметр_типа в конце - чтобы если он был указан, то в классе бы создавалось паблик поле этого типа. Пока что написал такое (я в шаблонах новичок, может я вообще глупость в коде написал, но хотя бы будет понятно чего я хочу), но оно не компилится (пишет main.cpp(17): error C2976: 'MyClass' : too few template arguments): template<typename MainClass, typename PayloadClass, int PayloadNum> class MyClass { MainClass field; PayloadClass payload[PayloadNum]; }; template<typename MainClass, typename PayloadClass> class MyClass<MainClass, PayloadClass, 1>; template<typename MainClass> class MyClass<MainClass, int, 0>; int main(int argc, char** argv) { MyClass<int> m; // <--- too few template arguments std::cout << sizeof(m) << std::endl; return 0; } вариант с std::array<PayloadClass, PayloadNum> не нравится - так как когда PayloadNum равен нулю, оно всё равно занимает 4 байта( Хотя бы подскажите в какую сторону смотреть - а там я разберусь)

тем более, что на x86 даже acquire/release не добавляет lock префикса

так я хочу чтобы я мог указывать либо 2 параметра либо 1. И когда их 2, то чтобы в классе присутствовало поле payload этого типа

бранч делей слот это вообще не из той оперы )

Сделай 2 шаблонных класса, один с полем, другой без

так а весь остальной код дублировать придётся?

унаследуй

унаследуй

тогда у меня с каждым объектом будет таскаться указатель на таблицу виртуальных функций, нет?

тогда у меня с каждым объектом будет таскаться указатель на таблицу виртуальных функций, нет?

таблица появляется когда ты вводишь виртуальные функции

К стати, если есть хоть один виртуальный метод, будет ли влияние на перформанс при вызове невиртуальных методов?

с чего вдруг?

нештяк, парни, спасибо) так заработало: template<typename MainClass> class TaskWithoutPayload { MainClass main_field; }; template<typename MainClass, typename PayloadClass> class TaskWithPayload : public TaskWithoutPayload<MainClass> { PayloadClass payload; };

так а чем плохо?

> Хочется сделать шаблонный класс, у которого есть обязательный набор параметров_типов и один опциональный параметр_типа в конце - чтобы если он был указан, то в классе бы создавалось паблик поле этого типа. Сама постановка задачи. Зачем?

ну типа я сделал достаточно общий движок, и хочу дать пользователям своего кода возможность опционально навешивать пайлоад на таски (например, приоритет - его уже по факту надо добавить, но я хочу это сделать при создании объекта). И чтобы если пользователю не нужен пэйлоад - это не занимало бы места; а если пэйлоад нужен - то чтобы он лежал рядышком с другими полями и занимал места по минимуму, так как таких объектов будет оч много.

ну типа я сделал достаточно общий движок, и хочу дать пользователям своего кода возможность опционально навешивать пайлоад на таски (например, приоритет - его уже по факту надо добавить, но я хочу это сделать при создании объекта). И чтобы если пользователю не нужен пэйлоад - это не занимало бы места; а если пэйлоад нужен - то чтобы он лежал рядышком с другими полями и занимал места по минимуму, так как таких объектов будет оч много.

так я ж и сделал в итоге с наследованием - вон выше кусок кода

так я ж и сделал в итоге с наследованием - вон выше кусок кода

ну типа я сделал достаточно общий движок, и хочу дать пользователям своего кода возможность опционально навешивать пайлоад на таски (например, приоритет - его уже по факту надо добавить, но я хочу это сделать при создании объекта). И чтобы если пользователю не нужен пэйлоад - это не занимало бы места; а если пэйлоад нужен - то чтобы он лежал рядышком с другими полями и занимал места по минимуму, так как таких объектов будет оч много.

Вот я убрал шаблоны. Что изменилось? class TaskWithoutPayload { MainClass main_field; }; class TaskWithPayload : public TaskWithoutPayload { PayloadClass payload; };

видимо ничего не изменилось. это ж просто минимальный пример для демонстрации проблемы. Я изначально не хотел делать наследование т.к. думал там сразу появится указатель на вирт таблицу. Вот получившийся боевой фулл: #ifndef _BG_TASK_H_ #define _BG_TASK_H_ #include <cstdint> #include <string> #include "ToStringTemplate.h" template <typename IdClass> class BgTask { private: IdClass id; uint32_t seconds_since_epoch; // 4 bytes uint8_t parents_done_num; // 1 byte public: BgTask() : seconds_since_epoch(0), parents_done_num(0){}; // for unordered_map BgTask(const IdClass & id_) : id(id_), seconds_since_epoch(0), parents_done_num(0){}; ~BgTask(){}; IdClass GetId() const { return id; }; std::string GetIdAsStr(){ return to_string(id); }; uint8_t GetParentsDoneCounter() const { return parents_done_num; }; void SetParentsDoneCounterTo1(){ parents_done_num = 1; }; void IncrementParentsDoneCounter(){ parents_done_num++; }; uint32_t GetSeconds() const { return seconds_since_epoch; }; void SetSeconds(uint32_t seconds){ seconds_since_epoch = seconds; }; }; template<typename IdClass, typename PayloadClass> class BgTaskWithPayload : public BgTask<IdClass> { public: PayloadClass payload; }; #endif // _BG_TASK_H_

#ifndef _BG_TASK_H_ #define _BG_TASK_H_ это можно выкинуть и поменять на #pragma once

видимо ничего не изменилось. это ж просто минимальный пример для демонстрации проблемы. Я изначально не хотел делать наследование т.к. думал там сразу появится указатель на вирт таблицу. Вот получившийся боевой фулл: #ifndef _BG_TASK_H_ #define _BG_TASK_H_ #include <cstdint> #include <string> #include "ToStringTemplate.h" template <typename IdClass> class BgTask { private: IdClass id; uint32_t seconds_since_epoch; // 4 bytes uint8_t parents_done_num; // 1 byte public: BgTask() : seconds_since_epoch(0), parents_done_num(0){}; // for unordered_map BgTask(const IdClass & id_) : id(id_), seconds_since_epoch(0), parents_done_num(0){}; ~BgTask(){}; IdClass GetId() const { return id; }; std::string GetIdAsStr(){ return to_string(id); }; uint8_t GetParentsDoneCounter() const { return parents_done_num; }; void SetParentsDoneCounterTo1(){ parents_done_num = 1; }; void IncrementParentsDoneCounter(){ parents_done_num++; }; uint32_t GetSeconds() const { return seconds_since_epoch; }; void SetSeconds(uint32_t seconds){ seconds_since_epoch = seconds; }; }; template<typename IdClass, typename PayloadClass> class BgTaskWithPayload : public BgTask<IdClass> { public: PayloadClass payload; }; #endif // _BG_TASK_H_

а если я под линуксом это буду собирать - эта прагма там сработает?

видимо ничего не изменилось. это ж просто минимальный пример для демонстрации проблемы. Я изначально не хотел делать наследование т.к. думал там сразу появится указатель на вирт таблицу. Вот получившийся боевой фулл: #ifndef _BG_TASK_H_ #define _BG_TASK_H_ #include <cstdint> #include <string> #include "ToStringTemplate.h" template <typename IdClass> class BgTask { private: IdClass id; uint32_t seconds_since_epoch; // 4 bytes uint8_t parents_done_num; // 1 byte public: BgTask() : seconds_since_epoch(0), parents_done_num(0){}; // for unordered_map BgTask(const IdClass & id_) : id(id_), seconds_since_epoch(0), parents_done_num(0){}; ~BgTask(){}; IdClass GetId() const { return id; }; std::string GetIdAsStr(){ return to_string(id); }; uint8_t GetParentsDoneCounter() const { return parents_done_num; }; void SetParentsDoneCounterTo1(){ parents_done_num = 1; }; void IncrementParentsDoneCounter(){ parents_done_num++; }; uint32_t GetSeconds() const { return seconds_since_epoch; }; void SetSeconds(uint32_t seconds){ seconds_since_epoch = seconds; }; }; template<typename IdClass, typename PayloadClass> class BgTaskWithPayload : public BgTask<IdClass> { public: PayloadClass payload; }; #endif // _BG_TASK_H_

BgTask() : seconds_since_epoch(0), parents_done_num(0){}; // for unordered_map delegating ctor? нет, см ниже

мне буквально позавчера то ли компилятор то ли статический анализатор писали, что конструкторы должны инициализировать все поля, поэтому плохо вызывать delegating ctor для инициализации только части полей

видимо ничего не изменилось. это ж просто минимальный пример для демонстрации проблемы. Я изначально не хотел делать наследование т.к. думал там сразу появится указатель на вирт таблицу. Вот получившийся боевой фулл: #ifndef _BG_TASK_H_ #define _BG_TASK_H_ #include <cstdint> #include <string> #include "ToStringTemplate.h" template <typename IdClass> class BgTask { private: IdClass id; uint32_t seconds_since_epoch; // 4 bytes uint8_t parents_done_num; // 1 byte public: BgTask() : seconds_since_epoch(0), parents_done_num(0){}; // for unordered_map BgTask(const IdClass & id_) : id(id_), seconds_since_epoch(0), parents_done_num(0){}; ~BgTask(){}; IdClass GetId() const { return id; }; std::string GetIdAsStr(){ return to_string(id); }; uint8_t GetParentsDoneCounter() const { return parents_done_num; }; void SetParentsDoneCounterTo1(){ parents_done_num = 1; }; void IncrementParentsDoneCounter(){ parents_done_num++; }; uint32_t GetSeconds() const { return seconds_since_epoch; }; void SetSeconds(uint32_t seconds){ seconds_since_epoch = seconds; }; }; template<typename IdClass, typename PayloadClass> class BgTaskWithPayload : public BgTask<IdClass> { public: PayloadClass payload; }; #endif // _BG_TASK_H_

ну так в этом и есть смысл лок фри структур, ибо дизайнить струткуры без дедлоков тяжело

видимо ничего не изменилось. это ж просто минимальный пример для демонстрации проблемы. Я изначально не хотел делать наследование т.к. думал там сразу появится указатель на вирт таблицу. Вот получившийся боевой фулл: #ifndef _BG_TASK_H_ #define _BG_TASK_H_ #include <cstdint> #include <string> #include "ToStringTemplate.h" template <typename IdClass> class BgTask { private: IdClass id; uint32_t seconds_since_epoch; // 4 bytes uint8_t parents_done_num; // 1 byte public: BgTask() : seconds_since_epoch(0), parents_done_num(0){}; // for unordered_map BgTask(const IdClass & id_) : id(id_), seconds_since_epoch(0), parents_done_num(0){}; ~BgTask(){}; IdClass GetId() const { return id; }; std::string GetIdAsStr(){ return to_string(id); }; uint8_t GetParentsDoneCounter() const { return parents_done_num; }; void SetParentsDoneCounterTo1(){ parents_done_num = 1; }; void IncrementParentsDoneCounter(){ parents_done_num++; }; uint32_t GetSeconds() const { return seconds_since_epoch; }; void SetSeconds(uint32_t seconds){ seconds_since_epoch = seconds; }; }; template<typename IdClass, typename PayloadClass> class BgTaskWithPayload : public BgTask<IdClass> { public: PayloadClass payload; }; #endif // _BG_TASK_H_

чтобы в json отдавать как строку. а хранить оптимально. например если там mongo_id

видимо ничего не изменилось. это ж просто минимальный пример для демонстрации проблемы. Я изначально не хотел делать наследование т.к. думал там сразу появится указатель на вирт таблицу. Вот получившийся боевой фулл: #ifndef _BG_TASK_H_ #define _BG_TASK_H_ #include <cstdint> #include <string> #include "ToStringTemplate.h" template <typename IdClass> class BgTask { private: IdClass id; uint32_t seconds_since_epoch; // 4 bytes uint8_t parents_done_num; // 1 byte public: BgTask() : seconds_since_epoch(0), parents_done_num(0){}; // for unordered_map BgTask(const IdClass & id_) : id(id_), seconds_since_epoch(0), parents_done_num(0){}; ~BgTask(){}; IdClass GetId() const { return id; }; std::string GetIdAsStr(){ return to_string(id); }; uint8_t GetParentsDoneCounter() const { return parents_done_num; }; void SetParentsDoneCounterTo1(){ parents_done_num = 1; }; void IncrementParentsDoneCounter(){ parents_done_num++; }; uint32_t GetSeconds() const { return seconds_since_epoch; }; void SetSeconds(uint32_t seconds){ seconds_since_epoch = seconds; }; }; template<typename IdClass, typename PayloadClass> class BgTaskWithPayload : public BgTask<IdClass> { public: PayloadClass payload; }; #endif // _BG_TASK_H_

в json можно сделать { .... to_string(task.GetId()) ...

всё так) спасибо)

uint8_t GetParentsDoneCounter() const { return parents_done_num; }; void SetParentsDoneCounterTo1(){ parents_done_num = 1; }; void IncrementParentsDoneCounter(){ parents_done_num++; }; это чот какой-то очень вычурный footgun, для чего?

в некоторых json-ах например ID надо будет числом а не строкой, так что это просто лишнее увеличение интерфейса

а тут чем плохо? Вроде всё ровно - сеттер начального значения, инкременты и геттер

ну да, но тогда можно вызывать GetId(). Вообще я подумал - я всё же оставлю GetIdAsStr() - мне как-то удобнее мыслить когда это метод, и to_string скрыт под капотом. Вон в scala и rust вообще у чисел есть методы))

просто не люблю делать паблик поля)

to_string() стандартная функция - она идиоматичней

эффект то тот же, больше кода - такой же функционал. вопрос - зачем