{} initialization

[220Volt]

Здравствуйте.
С++11 ввел (расширил возможности) данный тип инициализации. Но вот что за грабли, почему не вызывается копирующий конструктор до тех пор, пока явно его не прописать?

struct S {
    // S(){}            // #1
    // S(const S&){}    // #2
};

int main()
{
    S d;
    S t {d};        // error
    S tt(d);        // ok

    return 0;
}

Clang и gcc ругаются. Полистал Страуструпа, он вызывал дефолтовый копирующий конструктор через {}.

[Somebody]

http://www.open-std.org/jtc1/sc22/wg...2012/n3337.pdf

8.5.1 Aggregates [dcl.init.aggr]
1 An aggregate is an array or a class (Clause 9) with no user-provided constructors (12.1), no brace-or-equalinitializers for non-static data members (9.2), no private or protected non-static data members (Clause 11), no base classes (Clause 10), and no virtual functions (10.3).

8.5.4.3:

List-initialization of an object or reference of type T is defined as follows:
— If the initializer list has no elements and T is a class type with a default constructor, the object is value-initialized.
— Otherwise, if T is an aggregate, aggregate initialization is performed (8.5.1).
[ Example:
...
—end example ]
— Otherwise ...

В данном случае это попадает под aggregate initialization, что можно использовать в виде:

struct S {
    int a, b, c;
};
S d {1, 2, 3};

[220Volt]

Была такая мысль. Но посмотрел на Страуструпа и оставил ее, он приводит такой код, который тоже не компилируется:

#include <string>
using namespace std;

struct Work {
    string author;
    string name;
    int year;
};

int main()
{
    Work s9 { "Beethoven",
              "Symphony No. 9 in D minor, Op. 125; Choral",
              1824
            };                      // memberwise initialization
    Work currently_playing { s9 };  // copy initialization    // error
    Work none {};                   // default initialization

    return 0;
}

Еще так пробовал, тоже не заработало:

struct S {
     S() = default;
};

int main()
{
    S d;
    S t {d};        // error
    S tt(d);        // ok

    return 0;
}

Спасибо за ответ, вывод из категории "Aggregate" решает вопрос.