AF
А проверять нужно что вот эта штука применима к типу а не то что там бул есть
requires {
constexpr bool b = T::foo;
}Size: a a a
2020 July 29
D
Типа констекспр бул ты уже же где-то в компильтайме проверяешь на то он и констекспр наверное
я проверю не бул, а его наличие
LA
ответ где-то здесь
кажется, компилятор все знает про объекты, созданные на этапе компиляции, поэтому может разрешать виртуальные вызовы через встроенную рефлексию
кажется, компилятор все знает про объекты, созданные на этапе компиляции, поэтому может разрешать виртуальные вызовы через встроенную рефлексию
Спасибо. Я одно не понимаю: так это дешевле вызова виртуальной функции на рантайме или нет?
AF
я проверю не бул, а его наличие
Ага
AF
Но проверка була это проверка наличия тоже
D
Я пишу концепты
И мне надо проверить что у типа есть static constexpr member variable типа bool
Есть какие-нибудь красивые способы это проверить?
А то пока у меня приходят в голову не самый красивые варианты
1) Написать:
2) Написать dummy шаблон
И мне надо проверить что у типа есть static constexpr member variable типа bool
Есть какие-нибудь красивые способы это проверить?
А то пока у меня приходят в голову не самый красивые варианты
1) Написать:
concept ... = (T::foo || !T::foo)2) Написать dummy шаблон
template <typename T, T value>
constexpr bool is_constexpr_expr = true;
...
concept ... = is_constexpr_expr<bool, T::foo>;
поэтому я и предложил первый вариант, но вдруг есть что-то более выразительное
AF
Ты гдто точно проверяешь значение иначе зачем контекспр
D
Ты гдто точно проверяешь значение иначе зачем контекспр
Мне в концепте не нужно значение
AF
Я веду к тому что у тебя слишком строгий контракт на типы
D
Не я его писал
D
Я его просто имплеменчу
AF
Тебе нужно не наличие була а применимость каких-то операций
VS
Спасибо. Я одно не понимаю: так это дешевле вызова виртуальной функции на рантайме или нет?
а есть смысл их сравнивать? этот механизм доступен лишь в constant evaluation
в рантайме ничего не изменилось
в рантайме ничего не изменилось
AF
Я его просто имплеменчу
Хех
D
Тебе нужно не наличие була а применимость каких-то операций
Мне нужна операция взятия этой переменной в компайл тайме)
AF
Мне нужна операция взятия этой переменной в компайл тайме)
Не нужна, это бредни сумасшедшего
D
Не нужна, это бредни сумасшедшего
Спасибо за ваше мнение, мы вам перезвоним
AF
Там надо 2 раза requires наверное
Понял почему?