一个变量模板是真的，而不是一个类模板会实例化？

Question

 template<typename T> struct A {
    /*...*/
 };

对于某些t参数a 将成功实例化，而对于其他参数则不会。

不修改或扩展的定义，是否可以编写一个bool变量模板：

template<typename T>
constexpr bool WorksWithA = /*...*/;

这样workwithA 为真，是否会成功实例化A ？

#include <iostream>

template<typename T>
struct A {
    using X = typename T::X;
};

template<typename T>
constexpr bool WorksWithA = requires { typename A<T>; };

struct GoodArg {
    using X = int;
};

struct BadArg {
};

int main() {
    std::cout << WorksWithA<GoodArg> << std::endl;
    std::cout << WorksWithA<BadArg> << std::endl;
}

$ clang++ --version
clang version 10.0.0-4ubuntu1 
$ clang++ test.cc -std=c++20
$ ./a.out 
1
1

这将输出1，预期的输出是1吗？

什么给？

Answer 1

如果我理解正确的话，对于SFINAE友好类型，这可能是一种方法：

如果可以实例化，则匹配：

template<class T>
constexpr auto WorksWithA(int) -> A<T>;

如果不是，则匹配：

struct no {};
template<class T>
constexpr auto WorksWithA(long) -> no;

template<typename T>
inline constexpr bool WorksWithA_v = 
    not std::is_same_v<no, decltype(WorksWithA<T>(0))>;

template<typename T>
struct A {
    using X = typename T::X;
};

template<class T>
constexpr auto WorksWithA(int) -> typename T::X;

struct no {};
template<class T>
constexpr auto WorksWithA(long) -> no;

template<typename T>
inline constexpr bool WorksWithA_v =
    not std::is_same_v<no, decltype(WorksWithA<T>(0))>;