#static_assert — Public Fediverse posts

Концептуальный wish-you-happy-debug

На эти грабли я чуть не наступил (но не наступил!) в рабочем коде, когда захотел прикрутить концепты. Просто задумался о последствиях, проверил на дистиллированном коде, - и да, оно стреляет. Поэтому предлагаю вам в качестве упражнения по ненормальному C++. Итак. Пусть у нас есть полиморфная (шаблонная, перегруженная, - неважно) функция f(x). И мы написали концепт, который говорит, что тип может быть аргументом этой функции. Назовём его fable, то есть, "f-абельный", или, по-русски, "сказка". (Эта сказка будет страшной). На C++20 это выглядит очень просто и элегантно. (Без requires в виде шаблонной метафункции это тоже делается, но заметно громоздче).

https://habr.com/ru/articles/857744/

#шаблоны_c++ #концепты #ошибки #ошибки_и_грабли #illformed #static_assert #concept #template

Концептуальный wish-you-happy-debug

На эти грабли я чуть не наступил (но не наступил!) в рабочем коде, когда захотел прикрутить концепты. Просто задумался о последствиях, проверил на дистиллированном коде, - и да, оно стреляет. Поэтому предлагаю вам в качестве упражнения по ненормальному C++. Итак. Пусть у нас есть полиморфная (шаблонная, перегруженная, - неважно) функция f(x). И мы написали концепт, который говорит, что тип может быть аргументом этой функции. Назовём его fable, то есть, "f-абельный", или, по-русски, "сказка". (Эта сказка будет страшной). На C++20 это выглядит очень просто и элегантно. (Без requires в виде шаблонной метафункции это тоже делается, но заметно громоздче).

https://habr.com/ru/articles/857744/

#шаблоны_c++ #концепты #ошибки #ошибки_и_грабли #illformed #static_assert #concept #template

Концептуальный wish-you-happy-debug

На эти грабли я чуть не наступил (но не наступил!) в рабочем коде, когда захотел прикрутить концепты. Просто задумался о последствиях, проверил на дистиллированном коде, - и да, оно стреляет. Поэтому предлагаю вам в качестве упражнения по ненормальному C++. Итак. Пусть у нас есть полиморфная (шаблонная, перегруженная, - неважно) функция f(x). И мы написали концепт, который говорит, что тип может быть аргументом этой функции. Назовём его fable, то есть, "f-абельный", или, по-русски, "сказка". (Эта сказка будет страшной). На C++20 это выглядит очень просто и элегантно. (Без requires в виде шаблонной метафункции это тоже делается, но заметно громоздче).

https://habr.com/ru/articles/857744/

#шаблоны_c++ #концепты #ошибки #ошибки_и_грабли #illformed #static_assert #concept #template

Концептуальный wish-you-happy-debug

На эти грабли я чуть не наступил (но не наступил!) в рабочем коде, когда захотел прикрутить концепты. Просто задумался о последствиях, проверил на дистиллированном коде, - и да, оно стреляет. Поэтому предлагаю вам в качестве упражнения по ненормальному C++. Итак. Пусть у нас есть полиморфная (шаблонная, перегруженная, - неважно) функция f(x). И мы написали концепт, который говорит, что тип может быть аргументом этой функции. Назовём его fable, то есть, "f-абельный", или, по-русски, "сказка". (Эта сказка будет страшной). На C++20 это выглядит очень просто и элегантно. (Без requires в виде шаблонной метафункции это тоже делается, но заметно громоздче).

https://habr.com/ru/articles/857744/

#шаблоны_c++ #концепты #ошибки #ошибки_и_грабли #illformed #static_assert #concept #template