Question

我正在玩C++ value initialization 因此，我打印未初始化的值，以突出显示（取消）初始化，具体取决于C ++标准版本但未初始化的值通常传达零值： - （

如何突出显示变量是否尚未初始化？
（即，如何对编译器使用未初始化变量的特定值？）

也许可以使用 magic 用户提供的分配器来完成...

编辑：我的以下代码段不适用于制作。我只想检查C ++标准关于未初始化/值初始化/零初始化/默认初始化机制的实现（由编译器）。我不希望有关未初始化变量的编译器警告。我不想使用MemoryCheckers。我只是想突出显示编译器零初始化一些变量，默认初始化一些其他变量，并不初始化所有其他变量。此初始化行为还取决于C ++ Standard的版本。如果您认为最好的方法是使用编译器警告或MemoryCheckers，请使用以下代码段提供答案。

_{如果您已经理解我的问题，请不要阅读下面的详细尝试。}

你可以build/run my first snippet on Coliru

#include <iostream>

struct A  {
  A() {} // user-defined default ctor does not initialize i
  int i;
};

struct B {
  A a;
};

int main()
{
  std::cout << B().a.i << '\n';
    // Results: C++03 -> uninitialized
    //          C++11 -> zero-initialized

  std::cout << B{}.a.i << '\n';
    // Results: C++03 -> Do not compile - B{} is correct since C++11
    //          C++11 -> uninitialized because
    //          DR1301 defines B{} as an aggregate-initialization
}   //          => A is value-initialized using the user-defined ctor

使用-std=c++03编译时，执行可能会打印零值，但我更喜欢非零值。

使用-std=c++11

的可能输出

0
1208617840

使用-std=c++11

的另一种可能输出

0
-201855824

但是my more advanced snippet现在对未初始化的对象B{}.a.i有零值： - （

#include <iostream>

struct A {
  A() {} // user-defined ctor does not initialize i
  int i;
};

struct B  {
  A a;
};

int main()
{
  std::cout <<"-----------"<< __cplusplus <<"-----------" "\n";
  std::cout <<"B().a.i            = "<<         B().a.i <<'\n';
  std::cout <<"B{}.a.i            = "<<         B{}.a.i <<'\n';

  int d;
  d = 42;
  std::cout <<"(new(&d) B  )->a.i = "<< (new(&d) B  )->a.i <<'\n';
  d = 42;
  std::cout <<"(new(&d) B())->a.i = "<< (new(&d) B())->a.i <<'\n';
  d = 42;
  std::cout <<"(new(&d) B{})->a.i = "<< (new(&d) B{})->a.i <<'\n';
}

构建/运行输出：

> g++ -std=c++03 -Wall -Wextra -pedantic main.cpp && ./a.out
-----------199711-----------
B().a.i            = 0
(new(&d) B  )->a.i = 42
(new(&d) B())->a.i = 0

> g++ -std=c++11 -Wall -Wextra -pedantic main.cpp && ./a.out
-----------201103-----------
B().a.i            = 0
B{}.a.i            = 0
(new(&d) B  )->a.i = 42
(new(&d) B())->a.i = 0
(new(&d) B{})->a.i = 0

> g++ -std=c++14 -Wall -Wextra -pedantic main.cpp && ./a.out
-----------201402-----------
B().a.i            = 0
B{}.a.i            = 0
(new(&d) B  )->a.i = 42
(new(&d) B())->a.i = 0
(new(&d) B{})->a.i = 0

Answer 1

一种可能的解决方案是使用clang++代替g++。

clang++ v3.7在我的特定情况下突出显示了未初始化的值。

注意：此答案基于自C ++ 11以来发生变化的C ++ value initialization。值括起来是括号/大括号为空时：T(); T{}; new T(); new T{};

在Coliru

上构建/运行以下代码段

#include <iostream>

struct A
{
  A() {} // ctor does not initialize 'i'
  int i;
};

struct B // implicit ctor
{
  A a;
  int i;
  void set() { a.i = i = 42; }
};

std::ostream& operator<< (std::ostream& os, const B& b)
{  os <<'\t'<< b.a.i <<'\t'<< b.i;  return os; }

int main()
{
  std::cout <<"----------"<< __cplusplus <<"----------" "\n";

  B b; // used to reset memory for 'placement new'

  b.set(); std::cout <<"new(&b)B   "<< *new(&b)B   <<'\n'; // All uninitialized (in all C++ standards)

  std::cout          <<"       B() "<< B()         <<'\n'; // B::A::i uninitialized in C++03, zero-initialized in C++11
  b.set(); std::cout <<"new(&b)B() "<< *new(&b)B() <<'\n'; // B::i zero-initialized (in all C++ standards)

#if __cplusplus > 2011*100                                 // B{} is aggregate-initialization (DR1301)
  std::cout          <<"       B{} "<< B{}         <<'\n'; // => B::A::i value-initialized
  b.set(); std::cout <<"new(&b)B{} "<< *new(&b)B{} <<'\n'; // => B::i     zero-initialized
#endif
}

构建输出＆amp;可能的运行输出

> clang++ --version
clang version 3.7.0 (tags/RELEASE_370/final 246979)
Target: x86_64-unknown-linux-gnu
Thread model: posix

> clang++ -std=c++03 -Wall -Wextra -pedantic main.cpp && ./a.out
----------199711----------
new(&b)B    42      42
       B()  0       0
new(&b)B()  0       0

> clang++ -std=c++11 -Wall -Wextra -pedantic main.cpp && ./a.out
----------201103----------
new(&b)B    42      42
       B()  0       0
new(&b)B()  0       0
       B{}  4196348 0
new(&b)B{}  42      0

> clang++ -std=c++14 -Wall -Wextra -pedantic main.cpp && ./a.out
----------201402----------
new(&b)B    42      42
       B()  0       0
new(&b)B()  0       0
       B{}  4196348 0
new(&b)B{}  42      0

> clang++ -std=c++1z -Wall -Wextra -pedantic main.cpp && ./a.out    
----------201406----------
new(&b)B    42      42
       B()  0       0
new(&b)B()  0       0
       B{}  4196348 0
new(&b)B{}  42      0

如何强制编译器为未初始化的变量设置非零值？

1 个答案: