Могу ли я создать анонимный, скопированный инициализированный агрегат в C++?

Question

Можно создать анонимный объект, который инициализируется с помощью параметров конструктора, например, в инструкции return.

struct S { 
    S(int i_, int j_) : i(i_), j(j_) { } 
    int i, j; 
}; 

S f() 
{ 
    return S(52, 100); 
} 

int main() 
{ 
    cout << f().i << endl; 
    return 0; 
} 

Однако можно один так же создать анонимный совокупный, который инициализируется с брекет инициализатором? Например, можно свернуть тело f() ниже, вплоть до одного оператора возврата без «s?»?

struct S { 
    int i, j; 
}; 

S f() 
{ 
    S s = { 52, 100 }; 
    return s; 
} 

int main() 
{ 
    cout << f().i << endl; 
    return 0; 
} 

Answer 1

Вы не можете в текущей версии C++. Вы сможете в C++ 0x - я все равно верю. Конечно, он по-прежнему открыт для пересмотра - когда-то я думал, что вы сможете указать понятия в C++ 0x, но это исчезло ...

Редактировать: Ссылка будет [dcl.init] (§ 8.5/1) в N2960. Наиболее важным битом является определение «braced-init-list» в BNF (и последний бит текста, говорящий, что инициализация, описанная в этом разделе, может/применима к возвращаемым значениям).

Answer 2

Не в C++. Но вы можете в C99, с использованием так называемых составных литералов:

struct S { 
    int i, j; 
}; 

struct S F() 
{ 
    // Valid C99, invalid C++: 
    return (struct S){ 52, 100 }; 
} 

[C99: §6.5.2, 6.5.2.5]
[C++ 98: §5.2.3, 8,5, 12,1 , 12.2]

Некоторые компиляторы C++ предоставляют это как расширение, но это не правовой ISO C++ 98. Например, g ++ примет этот код по умолчанию, но если вы скомпилируете его с опцией -pedantic, он отклонит его.

Answer 3

Вы сможете использовать инициализацию скобки почти везде в C++ 1x. (Хотя Comeau 4.3.9 альфа-дроссели на примере fnieto.)