C ++是否确定了POD typedef的初始化值?

C ++是否对简单的POD typedefs进行初始化?

假设

typedef T* Ptr;

Ptr()

做值初始化并保证等于(T*)0

例如

Ptr p = Ptr();
return Ptr();

它的确如此。 对于T类型, T()值 - 初始化T类型的“对象”并生成右值表达式。

int a = int();
assert(a == 0);

相同的Pod类:

struct A { int a; };
assert(A().a == 0);

对于一些没有用户声明的构造函数的非POD类也是如此:

struct A { ~A() { } int a; };
assert(A().a == 0);

由于你不能做A a() (而是创建一个函数声明),所以boost有一个类value_initialized ,允许解决这个问题,并且C ++ 1x将有以下替代语法

int a{};

在标准的干燥词中,这听起来像

表达式T(),其中T是非数组完整对象类型或(可能是cv限定的)void类型的简单类型说明符(7.1.5.2),它创建一个指定类型的右值,该值是值-initialized

由于typedef-name是一个类型名称,它本身就是一个简单类型说明符,所以这很好。


#include <iostream>
struct Foo {
    char bar;
    char baz;
    char foobar;
    // the struct is a POD
    //virtual void a() { bar='b'; }
};

int main() {
    Foo o1;
    Foo o2 = Foo();

    std::cout << "O1: " << (int)o1.bar <<" "<< (int)o1.baz <<" "<< (int)o1.foobar << std::endl;
    std::cout << "O2: " << (int)o2.bar <<" "<< (int)o2.baz <<" "<< (int)o2.foobar << std::endl;
    return 0;
}

输出:

O1:-27 -98 0

O2:0 0 0

Adding()将初始化器调用传播给所有POD成员。 取消虚拟方法的输出将输出更改为:

O1:-44 -27 -98

O2:-71 -120 4

然而,添加析构函数〜Foo()不会抑制初始化,虽然它会创建非POD对象(输出与第一个类似)。

链接地址: http://www.djcxy.com/p/40285.html

上一篇: Does C++ do value initialization of a POD typedef?

下一篇: class rvalues always have cv