Как задать пустой тип (нулевой длины) в качестве параметра шаблона что бы на поле соотв. типа не тратилась память?

В некоторых случаях поле p не нужно

А как будут реализованы сеттер и геттер?

Сделай p* и malloc в конструкторе, когда надо.

В такой постановке вопроса - никак. Из-за оптимизации пустого базового класса. У каждого элемента массива должен быть адрес. Т.е. минимум 256 байт таки будет в памяти занимать.

Можно посмотреть на compile time условия, например на std::enable_if.

Они тоже должны умереть, остальное должно остаться;-)

А если как-нибудь так?

template <typename T, bool null> struct A                                       
{                                                                               
    T p[null ? 0 : 256];                                                        
};   

Они вернут ссылку на char*, который будет содержать «не_нужно/0»

Тогда можно в базовом классе всё убрать, а в наследнике запилить

char*

!Ъ. Раз шаблоны, то и строки должны быть плюсовыми!

Ну раз уж на то пошло, то и вместо с-массива там должен быть какой-нибудь std::array или std::vector и нет проблем.

std::enable_if.

С энейбл_иф может еще больше получиться буков чем со специализацией, а автор хочет чтобы

делать не хочется, будет много букв.

Я бы через указатель сделал, причем верятно на stl вектор предпочел бы, чем указатель на массив или массив из 256 указателей

enable_if че то не позволяет прибивать функции-члены класса... ну или у меня руки кривые.

Точно!

Не, лишний параметр для шаблона не хочу - их там и так на самом деле много выходит...

Тогда так

template <typename T> struct A                                                  
{                                                                                                                              
    T p[256];                                                                   
};                                                                              
                                                                                
int main()                                                                      
{                                                                               
    auto a = A<int[0]>();                                                       
    printf("%ld\n", sizeof(a.p));                                               
    return 0;                                                                   
}                           

Выдаёт 0

Блин, я туплю (все просто):

template <typename T> class C{
   T p[256];
public:
   T get(int i) const { return p[i]; }
   vois set(int i, T x){ p[i] = x; }
};

template <> struct C<void>{
   char get(int i) const { return 0; }
   vois set(int i, char x){}
};

template <typename T> class A: public C<T>{
...
};

Я таки не понял, может enable_if работать с функциями-членами класса, или нет?

В C++ sizeof даже для «пустых» типов будет равен 1. Потому как указатели на разные обьекты должны тоже отличатся.

Единственный случай, когда размер пустого обьекта (можно сказать) равен нулю — при наследовании:

struct Empty {};
static_assert(size of(Empty) == 1);

struct Derived : Empty {};
static_assert(size of(Derived) == 1);

Т.е. можно попробовать сделать что-то на основе...

Еще в C++20 появится аттрибут [[no_unique_address]] который расширяет возможности по созданию пустых обьектов.

https://en.cppreference.com/w/cpp/language/attributes/no_unique_address

Так геттер ломается.

С функциями - может, а вот с переменными похоже нет.

Ты же хотел избежать специализации :)

Можно std::is_same заместо флага использовать.

Вы хотите геттер и сеттер убрать вовсе? Тогда без специализации и наследования не обойтись. Сделайте базовый класс, где будет «всё остальное». Далее специализируйте наследника отдельно пустого типа, отдельно для остальных.

Я хотел избежать специализации всего шаблона (он большой). Кусочек то можно;-)

С переменными он понятно не может, тип то неопределен. С функциями я че то не понял как. Ну или они должны быть тоже параметризованы дополнительно...

Да, я уже понял;-) Спасибо!

А я не понял, зачем нужен весь этот ооп изврат.

Экономия памяти.

А сама прикладная задача в чём состоит?

Это долго рассказывать. AMR для числодробилок. Но экономия памяти там существенна;-)

Ну понятно тогда в целом.

Спецификацию шаблона делать не хочется, будет много букв.

Это C++, деточка, тут могут иerror: template instantiation depth exceeds maximum of 500 (use -ftemplate-depth-NN to increase the maximum) instantiating ‘struct W<W<W<W<W<W<W<W<W<...

В C++ не бывает липов нулевой длины, даже struct{} занимает 1 байт. Сделай нормальную иерархию классов, где у тебя нет массива там где он не нужен вместо придумывания костылей.

Ты выбрал не тот язык: https://doc.rust-lang.org/nomicon/exotic-sizes.html#zero-sized-types-zsts