C++ lectures at MIPT (in Russian). Lecture 18. Concepts

[@evgenytarasov2541]

Браво! Спасибо.

[@oficsu]

1:31:18, на самом деле, если нас смущает "инвазивность" if constexpr и мы всё ещё хотим 2 функции, мы, кажется, можем добиться нужного поведения, если перегрузим функции по одному из аргументов, например, взяв int и elipsis и передадим туда 42. Более усовершенстованная техника - priority_tag, который позволяет довольно гибко явно управлять приоритетностью тех или иных перегрузок. Кажется, это всё ещё должно работать правильно с концептами, прошу поправить меня, если я не прав. Я (теперь уже) ) заглянул в будущие лекции, вижу там Ranges, так, что возможно даже, что ещё услышу об этом)

[@tilir]

Да, тут к сожалению есть не до конца решённые проблемы. Собственно Саттон признавал что идея плохая, что он перебрал несколько и что пока непонятно какая хорошая. Лепить перегрузку по семантически ненужному параметру это тоже плохо. А уж создавать какие-нибудь теги...

[@sibedir]

Я не очень понял, что значит рекурсивные концепты 1:09:10. Это как? `template concept myconcept = ...` что мне тут остаётся писать, кроме `true`? Короче, я не понял. Но не суть. Суть вопроса/уточнения, что для рекурсии же можно воспользоваться классами.

[@vanyakhodor3387]

На 19м слайде у вас bool стоит до requires. На 33м слайде в функциях только тип Т, но в параметрах ещё и U. (настолько хорошо, что пересматриваю)

[@tilir]

Всё хочу записать новую версию этой лекции и там поправить все проблемы.

[@vanyakhodor3387]

На 43м слайде у вас остался concept bool. 1:09:45.

[@tilir]

Да действительно. Досадно. Я надеюсь эту лекцию переснять с видео и на новом уровне, поправил на слайдах.

[@elkadaf]

Хотел спросить, затащили ли в итоговом варианте концептов прувер? Ибо в принятом 20-м стандарте отношение subsumes определяется иначе