Недавно я пробовал метапрограммирование шаблонов после просмотра некоторых докладов о cppcon, и я пытался повторно реализовать некоторые черты в типах-трейтах, но я добрался до std::is_nothrow_constructible и получил застрявший. Мне было интересно, как это можно реализовать. Спасибо!
Подробнее здесь: https://stackoverflow.com/questions/601 ... structible