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

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

E>Это не особо надо, их же можно перечислить явно в тритсах каких-нибудь. Но не ясно зачем это надо...

там же начнется головная боль с алиазами (считать uint8_t и char псевдонимами друг друга или нет?). да и зачем меня нагружать этой рутиной, когда могли бы в тайптрейтс (если это так просто) засунуть?
а нужно, например, для того, чтобы сократить код для динамического приведения типов (в том же union или arithmetic_variant)

E>Вот если бы можно было отражать любые типы, или любые типы из произвольного набора и т. д...

а это зачем? просто, имхо, значения сложных типов редко когда корректно приводятся друг к другу

E>Ну и потом, указатель -- простой встроенный? Указатель на поле? И т. д...

нет. простые (базовые, фундаментальные) — это те, которые не предполагают в своем определении задействования других типов.