#include <iostream> int foo(int x) { if constexpr (std::is_same_v<decltype(x), std::string>) { x = std::string(); } } int main(void) { return 0; } Этот код не компилируется ни на GCC 7, ни на Clang 5: error:...

Я создаю статический цикл для диспетчеризации типов с использованием макросов. Вот чего я до сих пор добился. #define LOOP(n, f) \ static_assert(n <= 8 && "static loop size should <=...

У меня эти коды взорваны template <typename T, void (*Fn)(T *)> struct CustomF1 final { void operator()(T *p) const { if (p) Fn(p); } }; template <typename T, void (*Fn)(T)> struct CustomF2 final { void operator()(T...

Я возился с c ++ 20 consteval в GCC 10 и написал этот код #include <optional> #include <tuple> #include <iostream> template <std::size_t N, typename Predicate, typename Tuple> consteval std::optional<std::size_t>...

У меня есть код, похожий на этот #include <array> constexpr std::size_t N = 16; template<typename Array> constexpr void takeparam(Array& data, size_t I) { if (I < N - 2) { // <- fails if I add constexpr data[I]...

Я ожидал, что компилятор разрешит недопустимые операторы или сообщения об ошибках в недостижимом коде, включающем constexpr, если: #include <type_traits> #include <iostream> struct ret_t; struct only_declared_t; auto test = [](auto a)...

struct A{ constexpr operator bool()const{ return true; } }; int main(){ auto f = [](auto v){ if constexpr(v){} }; A a; f(a); } clang 6 принимает Код, GCC 8 отклоняет его: $ g++ -std=c++17 main.cpp main.cpp: In lambda...

Этот код отлично компилируется в g ++ ( coliru ), но не в MSVC ( godbolt и мой VS2017). #include <type_traits> #include <iostream> template<class T> void f(){ constexpr bool b=std::is_same_v<T,int>; //#1 auto...

У меня проблема, я почти уверен, что это ошибка MSVC, но, возможно, я что-то упускаю. Вот упрощенная версия фактического кода: template <typename... Args> class InnerType {}; template <typename... Args> class OuterType { public:...

Я написал следующий код на C ++ 17: constexpr bool gDebug = true; template <typename T> constexpr const T& Select(const bool pCondition, const T& a, const T& b) { if constexpr (pCondition) { return a; } else...

Как легко static_assert(false) в else{} из if constexpr ? #include <type_traits> #include <iostream> class B{}; class C{}; class D{}; template<class T> void complexIf(){ if constexpr(std::is_same_v<T,B>){...

Следующий код : #include <type_traits> struct X { static constexpr void x() {} }; template <class T1, class T2> constexpr bool makeFalse() { return false; } template <class T> void foo() { T tmp; auto f = [](auto...

При попытке реализовать if constexpr с requires clause на основе if constexpr и требует-выражения для специальной проверки понятий столкнулся со следующей проблемой: template<class P> concept TuplePair = requires(P p) { requires...

Вчера я прочитал пару ответов об использовании static_assert(false, "Some message") внутри предложения else if constexpr . Я понимаю, что в соответствии со стандартом он считается неправильным (даже если некоторые компиляторы, включая...

Как вы, возможно, знаете, static_assert не заботится о том, находится ли он внутри активной ветки if constexpr (он всегда работает). У меня есть обходной путь, который использует недопустимые размеры массива, чтобы вызвать ошибку, но это уродливо....