O
Size: a a a
O
D
O
O
bool{}
же, но в любом случае, это просто рандомный код с магией исключительно для демонстрацииD
D
bool{}
же, но в любом случае, это просто рандомный код с магией исключительно для демонстрацииO
D
D
O
O
D
D
template<bool B, typename U>А вот этот, кажется, рабочий:
constexpr std::size_t size() {
// some magic with template parameters
return sizeof(U) + sizeof(decltype (B));
}
template<bool B, typename U, std::size_t = size<B, U>()>
struct X {};
template<bool B>
struct X<B, int> {};
^
error: type of specialized non-type template argument depends on a template parameter of the partial specialization
template<bool B, typename U,
// some magic with template parameters
std::size_t = sizeof(U) + sizeof(decltype (B))>
struct X {};
template<bool B>
struct X<B, int> {};
O
O
O
D
D
D
O