Там же написано
Once a destructor is invoked for an object, the object's lifetime ends; the behavior is undefined if the destructor is invoked for an object whose lifetime has ended ([basic.life]).
А если оно UB, есть вероятность что вторичный вызов может быть распознан компилятором как UB, а значит он такую ветку может например посчитать вообще unreachable.

Тут смотри какое дело. При кажущейся похожести подобной структуры это немного не концепты, а трейты (что характерно, можно добиться эффекта через специализацию шаблона). Я не помню терминов, но есть разница между подходом "сущность определяется содержимым" (как struct в C) и "сущность определяется именем" (как struct в С++). Концепты это первое, и это само по себе кажется очень важным - концепт это не более, чем соглашение вот этот набор свойств называть вот так, в которое при помощи tag-ов дописаны свойства, которые в текущий момент не могут быть записаны в языке как утверждения, после чего концепт не может страдать архитектурными ошибками вида "в этом трейте требуется лишнее" - концепт это только имя.

ну там в духе

namespace user {
   struct T{};
   struct T_trait { using type = T; }
   T_trait decltrait(T const&); //тело не нужно
   struct T_addition_trait : T_trait { constexpr static bool is_commutative = true; };
   T operator + (T const& lhs, T const& rhs) {}
   T_addition_trait operator + (T_trait, T_trait); //тело не нужно
}

и написать что (decltrait(a) + decltrait(b)).is_commutative

но у меня подчеркивается  #include<dir.h> красным  ,есть еще способы создать папку в c++?

а он не идет в стандартных библиотеках ?

но у меня подчеркивается  #include<dir.h> красным  ,есть еще способы создать папку в c++?

Всем привет ,почему то не создается папка в c++ (так то в qt пишу ) ,вот способ который нашел в сети :
#include<dir.h>

mkdir("абвг");

Но что насчет trivial destructible?

В дополнение, вот этот пункт http://eel.is/c++draft/basic.memobj#basic.life-9 так же косвенно сообщает, что повторный вызов деструктора тривиально удаляемого типа допустим

Почему используют bzero и bcopy вместо присваивания?