AF
Фишка концептов - коньюнкции
Концепты имеют семантику влияющую на оверлоад резолюшн
Size: a a a
2020 August 08
S
Ты начал разговор с вопроса, зачем нужны концепты, если есть статик_ассерт. Я попросил написать элементарную функцию, которая на концептах делается в 3 строки. Ты меня обижать начал
Не ври , я написал 2! функции но так и не услышал ,зачем нужны концепты , если и без них всё ок
AF
Не ври , я написал 2! функции но так и не услышал ,зачем нужны концепты , если и без них всё ок
Ты знаешь что такое sfinae?
К
Да боже ты что тупой? Это value level computation, это всё на изи делается . Концепты же предполагают type level вычисления.
Что-то типа
template <Concet1 T, Concept2 U> GenericType ...;
GenericType<_, _> typeFactory (...)
Что-то типа
template <Concet1 T, Concept2 U> GenericType ...;
GenericType<_, _> typeFactory (...)
++ и это решалось enable_if и бубном)
AS
Да боже ты что тупой? Это value level computation, это всё на изи делается . Концепты же предполагают type level вычисления.
Что-то типа
template <Concet1 T, Concept2 U> GenericType ...;
GenericType<_, _> typeFactory (...)
Что-то типа
template <Concet1 T, Concept2 U> GenericType ...;
GenericType<_, _> typeFactory (...)
/warn убирай переход на личность
G
𝕔𝕐𝕜𝓐 has been warned (
2/3)S
Ты знаешь что такое sfinae?
Эмм а оно как-то влияет?
Е
Не ври , я написал 2! функции но так и не услышал ,зачем нужны концепты , если и без них всё ок
Напиши мне на ассертах, чтобы работало так
int main() {
int i = 5;
const char* c = "6";
foo(i); // 1
foo(c); // 2
}Е
Напиши мне на ассертах, чтобы работало так
int main() {
int i = 5;
const char* c = "6";
foo(i); // 1
foo(c); // 2
}инт могу заменить на любой из int*_t
AF
Ты знаешь что такое sfinae?
Концепты нужны для того же но еще чтобы убрать костыльность явного указания приоритета через странные вещи типа ..., касты интов, теги с наследованием
AF
Будет выбираться тот шаблон который наиболее специфичен по коньюнкциям концептов
S
Напиши мне на ассертах, чтобы работало так
int main() {
int i = 5;
const char* c = "6";
foo(i); // 1
foo(c); // 2
}Ну тут уже статик_каст
S
👍
AF
Будет выбираться тот шаблон который наиболее специфичен по коньюнкциям концептов
Правда это добавило несколько новых УБ
Е
Ну тут уже статик_каст
еще один наркоман
S
еще один наркоман
Лол ,при чём тут я . Не я же заделал чар и инт конвертируемыми друг в друга
Е
дайте ему варн за троллинг и закончите этот диалог
AS
Да боже ты что тупой? Это value level computation, это всё на изи делается . Концепты же предполагают type level вычисления.
Что-то типа
template <Concet1 T, Concept2 U> GenericType ...;
GenericType<_, _> typeFactory (...)
Что-то типа
template <Concet1 T, Concept2 U> GenericType ...;
GenericType<_, _> typeFactory (...)
/warn ну, я честно просил два раза
G
/warn ну, я честно просил два раза
𝕔𝕐𝕜𝓐 muted: reached the max number of warnings (
3/3)O
Концепты нужны для того же но еще чтобы убрать костыльность явного указания приоритета через странные вещи типа ..., касты интов, теги с наследованием
А разве концепты позволяют однозначно решать вопрос приоритетности вызова функций? Кажется, даже с концептами у нас могут возникать неоднозначности, так что
priority_tag<N>, наверное, никуда не денется