struct IntMember {
   const int value = 1;
};

struct ArrayMember {
   const std::array<int, 2> array{0};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
   static constexpr bool isArray() noexcept { return IsArray; }
};

template <class A = Poly<true>, class B = Poly<false>>
constexpr int test_func() {
   constexpr auto a = A{};
   constexpr auto b = B{};
   static_assert(A::isArray() && !B::isArray());

   if constexpr (A::isArray() && B::isArray()) {
       return a.array == b.array;
   }
   else if constexpr (!A::isArray() && !B::isArray()) {
       return a.value == b.value;
   }
   else return -1;
}

int main()
{
   return test_func();
}

Привет, Хабр. Пару дней назад мне на глаза попался вот этот твит: C++ - Stateful TMP#cpp #cplusplus #Cpp20https://t.co/Q3sh3XtiHC pic.twitter.com/AkCRB2zvrT— Kri...