Вопрос по value-initialize структуры без конструктора

[akhomyak]

Народ, поясните, плз, почему следующий код

struct A
{
    int a;
};
 
struct D: A
{
    int c;
};
 
int main(int argc, char* argv[])
{
    std::cout << "D().a == " << D().a << std::endl;
    std::cout << "D().c == " << D().c << std::endl;
 
    return 0;
}

в MS студии 2003 выдаёт

D().a == 4260508 // т.е., не 0
D().c == 4220576 // т.е., не 0

не смотря на то, что согласно пунктов 5.2.3.2 и 8.5.5 стандарта C++03, не статические мемберы и базовые классы должны быть value-initialize ("if T is a non-union class type without a user-declared constructor, then every non-static data member and base-class component of T is value-initialized"), т.е., в данном случае, по идее, должны иметь

D().a == 0
D().c == 0

[Пепел Феникса]

2003 студия?
вы бы еще древнее студию взяли.

[Rififi]

Пепел Феникса

студия 2010 - ркзультат тот же самый. более того, зависит от опций командной строки (:

cl -MTd -EHsc value_init.cpp
cl -MT -EHsc value_init.cpp
cl -MT -Ox -EHsc value_init.cpp

все три компиляции выдают разные значения ((:

gcc выдает нули: http://codepad.org/245eM2fF

[Пепел Феникса]

ну как бы студия никогда не соответствовала стандарту на 100%.

[EUGY]

Внимательно прочитал это пункты, понял что речь идет об этом:

struct A
{
	int a;
};

struct D
{
	A aa;
	int c;
	D() :aa(), c()
	{

	}
};

int main()
{
	D dd;
	return 0;
}

Вот у структуры A нет явного конструктора,
И ее инициализация способом T() в структуре D приводит к тому, что члены структуры A инициализируются по умолчанию.
Так же у типа int c; заданного в структуре D разумеется нет явного конструктора.
И инициализация c() is value-initialized.

PS. так что и VS2003 и VS2010 соответствуют этим пунктам стандарта

PPS Насчет иниц. базового класса все также:

struct A
{
	int a;
};
struct D : public A
{
	D() :A() // A::a - инициализируется нулем
	{
	}
};