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

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

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

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

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

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

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

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

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