有没有办法使C++结构值初始化所有POD成员变量？

Question

假设我有一个包含POD和非POD成员变量的C++结构:

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

链接问题在这里

有没有办法在没有显式添加初始化的情况下强制执行所有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 2

最干净的方法是编写自动初始化的模板类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等关键字.但是你明白了.