Есть ли способ заставить C++ struct value инициализировать все переменные-члены POD?

Question

Предположим, у меня есть структура C++, которая имеет переменные-члены POD и не POD:

struct Struct {
    std::string String;
    int Int;
};

и чтобы моя программа создавала воспроизводимое поведение, я хочу, чтобы все переменные-члены инициализировались при конструировании. Я могу использовать список инициализатора для этого:

 Struct::Struct() : Int() {}

проблема в том, как только мне нужно изменить свою структуру и добавить новую переменную-член POD (скажем, bool Bool) Я рискну забыть добавить его в список инициализаторов. Тогда новая переменная-член не будет инициализирована значением во время конструирования структуры.

Также я не могу использовать memset() хитрость:

Struct::Struct()
{
   memset( this, 0, sizeof( *this ) ); //can break non-POD member variables
}

потому что зовет memset() перезаписать уже созданные переменные, не являющиеся членами POD, могут нарушить их.

Есть ли способ обеспечить инициализацию значения всех переменных-членов POD без явного добавления их инициализации в этом случае?

Answer 1

Самый простой способ - написать автоматически инициализированный шаблонный класс. initialized<T>:

РЕДАКТИРОВАТЬ: я понимаю, теперь это может быть сделано еще более гибким, позволяя вам объявить initialized<Struct>, Это означает, что вы можете объявить инициализацию без изменения оригинала Struct, Инициализация по умолчанию 'T()' была вдохновлена ​​ответом Prasoons.

template<class T>  
struct initialized 
{ 
public: 

     initialized() 
        { value = T(); }

    initialized(T t) 
        { value = t; }

    initialized(const initialized<T>& x) 
        { value = x.value; }

    T* operator &() { return &value; } 

     operator T&() { return value; }     

private: 
     T value; 
};


struct PodStruct 
{            
    std::string String;      
    int Int; 
};  


struct GlorifiedPodStruct 
{            
    std::string String;      
    initialized<int> Int; 
};  

void Test()
{
    GlorifiedPodStruct s;
    s.Int = 1;
    int b = s.Int;
    int * pointer = &s.Int;

    initialized<PodStruct> s2;
}

Он компилируется, но может потребоваться больше операторов преобразования, обработка ключевых слов, таких как volatile, и т. Д. Но вы поняли идею.

Answer 2

Связанный вопрос здесь

Есть ли способ обеспечить инициализацию значения всех переменных-членов POD без явного добавления их инициализации в этом случае?

Я не уверен, возможно ли что-то подобное [напрямую] или нет, но следующие работы

prasoon@prasoon-desktop ~ $ cat check.cpp && clang++ check.cpp && ./a.out
#include <iostream>
struct Struct {
    std::string String;
    int Int;
    bool k;
    // add add add
};

struct InStruct:Struct
{
   InStruct():Struct(){}
};

int main()
{
   InStruct i;
   std::cout<< i.k << "  " << i.Int << std::endl; 
}
0  0
prasoon@prasoon-desktop ~ $ 

Answer 3

Вы можете добавить базовую структуру:

struct PODStruct
{
  PODStruct(unsinged int count) { memset( this, 0, count);}
};

И затем ваша структура получена из этой базовой структуры, в первую очередь, если у вас есть более одной базовой структуры,

struct Struct : PODStruct
{
  Struct();
  std::string Str;
  int Int;
}

Struc::Struct() : PODStruct(sizeof(Struct))
{
}