Грубо говоря, я вижу язык в идеале так: по аналогии с линуксом, у тебя есть ядро, пара проверенных временем решний, а остальное на твоё усмотрение. Хочешь — ставь жирный гном, хочешь ставь i3. Я не хочу тянуть жирный набор либ, которые мне, возможно, и не понадобятся.

без stdlib как вариант

Продолжаем struct i_base { virtual i_base() {} }; struct foo : i_base { }; // Создаём точную копию using explicit bar = foo; /* Таким образом у нас имеется тип, аналогичный foo. struct bar : i_base {}; И применим dynamic_cast. */

Я по-моему объяснил, я в принципе за минимализм во всём, такой подход к жизни.

У меня появилась безумная идея по поводу integer strong type alias. Можно объявить enum class aliased_type : int {} и немного тайпкастов

У меня остался маленький вопрос со статической памятью. Всё-таки, сами статические данные рядом лежат или этого никто не знает в каких кусках памяти (статической) они будут?

https://groups.google.com/a/isocpp.org/forum/#!topic/std-proposals/gkJUVnL-Fmg

Тут в чате немного обсуждалось. Мне лично нравится синтаксис using explicit aliased_name = name; и нравится идея называть преобразование explicit_cast

зависит от linker script, куда они попадут

Я тут сделал https://godbolt.org/g/V4qhMm

А вот каст отдельный не нужен, имхо.

Нужен, потому что я хочу гарантированное поведение что aliased_type и type полностью одинаковые

Да, я и не про это. Я не понимаю ассемблер, но ведь вторая структура на стеке, это же видно из кода?

ну по сути namespace std { template <typename T1, typename T2> enable_if<is_strong_alias<T1, T2>::value, T1&>::value explicit_cast(T2 & ref) { return static_cast<T1&>(ref); } }

А статик тебе не тоже самое сделает?

Вкинь в тот дискасс на гуглогруппе, тогда.