c++ - 模板推导时，是否可以检测是否可以运行 consteval 函数

Question

假设我们有一个consteval函数或一个带有构造函数的普通结构，consteval它只接受一些值：

struct A
{
    consteval A(int a)
    {
        // compile error if a < 0
        if (a < 0)
            throw "error";
    }
};

有没有办法检测 int 的非类型模板参数是否可以被这样的构造函数接受？我尝试了以下代码但失败了。

template <int a> concept accepted_by_A = requires() {A(a);};

int main()
{
    std::cout << accepted_by_A<-1> << std::endl; // output 1 (true)
}

Answer 1

由于对抛出的constexpr(or consteval) 函数的调用不是常量表达式，因此您可以检测到这一点：

template<int I> concept accepted_by_A=
  requires() {typename std::type_identity_t<int[(A(I),1)]>;};

static_assert(accepted_by_A<1>);
static_assert(!accepted_by_A<-1>);

也可以使用 SFINAE（这将允许它constexpr在以前的语言版本中使用）：

template<int,class=void> struct test : std::false_type {};
template<int I> struct test<I,decltype(void((int(*)[(A(I),1)])nullptr))> : std::true_type {};

static_assert(test<1>());
static_assert(!test<-1>());

替代专业

template<int I> struct test<I,typename voided<int[(A(I),1)]>::type> : std::true_type {};

似乎它应该工作，但没有；在某些情况下，替换非类型模板参数很奇怪。