Шаблоны и анонимный юнион - C/C++

Есть шаблон, который должен параметризироваться только типами с тривиальными ctor, dtor, copy ctor, copy ass op.
Как это проверить я вроде придумал, но не понимаю каким образом оно работает

template <typename T>
class Foo
{
   typedef union {T t;} T_shall_be_trivial;    
 public:   
    ...
};

Мне ясно, что члены анонимного юниона являются членами области, в которой юнион объявлен, но ведь этот анонимный юнион не является членом класса Foo, и поскольку псевдоним T_shall_be_trivial в дальнейшем нигде не используется, то и не должно происходить инстанциирования типа юниона.
Т.е. непонятно, почему проверка — typedef union {T t;} T_shall_be_trivial;
срабатывает в отличие от — union T_shall_be_trivial {T t;};

Разъясните, плиз.

Здравствуйте, folk, Вы писали:

F>Есть шаблон, который должен параметризироваться только типами с тривиальными ctor, dtor, copy ctor, copy ass op.
F>Как это проверить я вроде придумал, но не понимаю каким образом оно работает

F>template <typename T>
F>class Foo
F>{
F>   typedef union {T t;} T_shall_be_trivial;    
F> public:   
F>    ...
F>};
F>

F>Мне ясно, что члены анонимного юниона являются членами области, в которой юнион объявлен, но ведь этот анонимный юнион не является членом класса Foo, и поскольку псевдоним T_shall_be_trivial в дальнейшем нигде не используется, то и не должно происходить инстанциирования типа юниона.
F>Т.е. непонятно, почему проверка — typedef union {T t;} T_shall_be_trivial;
F>срабатывает в отличие от — union T_shall_be_trivial {T t;};

F>Разъясните, плиз.

Кажется начинаю понимать.

template <typename T> struct A
{
// новый тип - инстанциирование происходит только если тип используется, и поэтому здесь не ломаемся
    typedef struct Named { T t[100]; } T1;
    
// псевдоним - проверяется при инстанциировании из включающего шаблона, и поэтому здесь ломаемся
    typedef struct       { T t[100]; } T2;
};

size_t test() { return sizeof(A<int&>); }

Т.е. в предыдущем посте особые свойства анонимных объединений не играли роли. Имело значение только то, определяется ли новый тип.
Так что ли?

Здравствуйте, folk, Вы писали:

F>// псевдоним — проверяется при инстанциировании из включающего шаблона, и поэтому здесь ломаемся

Не знаю, правильно это или нет — но очень интересно!

folk wrote:

> Есть шаблон, который должен параметризироваться только типами с
> тривиальными ctor, dtor, copy ctor, copy ass op. Как это проверить я вроде
> придумал, но не понимаю каким образом оно работает

>
>

> template <typename T>
> class Foo
> {
>    typedef union {T t;} T_shall_be_trivial;
>  public:
>     ...
> };
>

>
> Мне ясно, что члены анонимного юниона являются членами области, в которой
> юнион объявлен, но ведь этот анонимный юнион не является членом класса
> Foo, и поскольку псевдоним T_shall_be_trivial в дальнейшем нигде не
> используется, то и не должно происходить инстанциирования типа юниона.
> Т.е. непонятно, почему проверка — typedef union {T t;} T_shall_be_trivial;
> срабатывает в отличие от — union T_shall_be_trivial {T t;};
>
> Разъясните, плиз.
14.7.1 Implicit instantiation [temp.inst]
1 [...] and it causes the implicit instantiation of the definitions of
member anonymous unions.
Перед этой фразой много чего было, но все declaration. Извиняюсь, что не все
выдавил, скачанный acroread не работает, а xpdf не дружит с copy/paste.
Я пытался это прикрутить к has_trivial_destructor, но не вышло, SFINAE тут
не прокатит.
--
Александр Насонов,
Независимый консультант и разработчик ПО
alnsn-mycop@yandex.ru (для более быстрого ответа удалите -мусор из адреса)