Ошибка в языке программирования Stroustrup на языке C++?

Question

Последнее предложение §6.3.5.1 от Страуструпа C++ Язык программирования (4-е издание здесь) является:

Член массива или класс по умолчанию инициализируется, если массив или структура.

Однако this test показывает неинициализированные члены объекта по умолчанию инициализируется (я также попытался с g++4.7 -std=c++11)

#include <iostream> 

struct Foo 
{ 
    int i; 

    Foo(); 
}; 

Foo::Foo() {} 

int main() 
{ 
    Foo f; 
    std::cout << "f.i: " << f.i << std::endl; 

    return 0; 
} 

Я должен что-то отсутствует, но есть объяснение, которое не означает ошибка в утверждении Страустрапа?

---

EDIT: После ответов я понимаю, что понятие по умолчанию инициализируется должен включать то, что называется неинициализированный в других частях текста (например, в §17.3.1). Это звучит очень неясно для меня. Фактически, использование неинициализировано означает что-либо иное, чем «явно не инициализированное пользователем» (как это имеет место в данном случае) является противоречием: некоторые вещи инициализируются по умолчанию и все же неинициализированы. Если один не упадет доказательств естественного языка, что X и не-X классифицируют напротив, эксклюзивные наборы вещей ...

Кроме того, более ранний срок в том же разделе (§6.3.5.1) читает

Местный переменные [...] не инициализируются по умолчанию, если только они не являются определенными пользователем типами со стандартным конструктором [...]

Это противоречие здесь очевидно. Принятие как первого, так и последнего операторов должно быть истинным подразумевает, что существуют переменные (а именно локальные переменные), которые одновременно являются по умолчанию инициализированы и не инициализированы по умолчанию.

ИМХО это, в лучшем случае, очень нечеткое использование естественного языка для описания чего-то.

Answer 1

согласно § 8.5/7:

Для того, чтобы по умолчанию инициализировать объект типа Т означает:
- если Т (возможно, CV-Quali фи-е изд) тип класса (пункт 9), конструктор по умолчанию для T называется (и инициализация плохо сформирована, если T не имеет доступного конструктора по умолчанию);
- если T - тип массива, каждый элемент инициализируется по умолчанию;
- в противном случае инициализация не выполняется.

int попадает в последнюю точку, поэтому он остается неинициализированным. Если у вашего участника был тип, скажем, std::string, он вызывал бы конструктор по умолчанию std::string, и у вас была бы пустая строка.