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

К>Кстати да, трюк с концептом available выглядит изящно!

К>https://gcc.godbolt.org/z/W6PW6j1nb

Да, мне тоже нравится. Но нужно понимать, что это не совсем полноценный концепт в том смысле, что применять его с логическим отрицанием не получится. И если хорошенько присмотреться, то можно увидеть, что концепты здесь применяются в комплекте со SFINAE. Тем не менее, пользу он дает ощутимую для множества относительно простых случаев. А для более сложного случая, там, где это действительно нужно, не жалко написать и отдельный полноценный концепт.

P.S. Всем казалось, что с приходом концептов SFINAE отомрет, ан нет — концепты лишь расширили арсенал приемов SFINAE.

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

К>Кстати да, трюк с концептом available выглядит изящно!

К>https://gcc.godbolt.org/z/W6PW6j1nb

Да, мне тоже нравится. Но нужно понимать, что это не совсем полноценный концепт в том смысле, что применять его с логическим отрицанием не получится. И если хорошенько присмотреться, то можно увидеть, что концепты здесь применяются в комплекте со SFINAE. Тем не менее, этот подход не нарушает никаких правил и может дать ощутимую пользу для множества относительно простых случаев. А для более сложного случая, там, где это действительно нужно, не жалко написать и отдельный полноценный концепт. Ведь оба подхода совершенно свободно можно комбинировать даже в рамках одного выражения.

P.S. Всем казалось, что с приходом концептов SFINAE отомрет, ан нет — концепты лишь расширили арсенал приемов SFINAE.