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

Предположим, у меня есть структура C++, которая имеет переменные-члены POD и non-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() перезаписать уже построенные переменные-члены non-POD могут сломать их.

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

7
c++ constructor initialization

3 ответов

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

EDIT: я понимаю, что теперь его можно сделать еще более гибким, позволяя вам объявлять 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 и т. д. Но вы получите идея.

10

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

есть ли способ обеспечить инициализацию значений всех переменных-членов 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 ~ $
10

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

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

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

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

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