Так что недавно я попробовал метапрограммирование некоторого шаблона после просмотра некоторых выступлений cppcon, и я пытался повторно реализовать некоторые черты в type-traits, но я получил std::is_nothrow_constructible и застрял. Мне было интересно, как это можно реализовать. Спасибо!