SFINAE constepr与std:：get

Question

这是用SFINAE检测constepr的后续问题。

我想检测元组的一个元素（或任何可以与std:：get一起使用的元素）是否为constexpr。所以我写了以下与Xeo提供的类似的帮助：

template<size_t> struct sfinae_true : std::true_type{};

template<size_t N, class T>
auto check(const T& arg) -> sfinae_true<(std::get<N>(arg),N)>;

template<size_t N, class>
std::false_type check(...);

现在，我的测试驱动程序代码：

int main()
{
    constexpr std::tuple<size_t, size_t> arg(4,5);
    typedef decltype(check<0,decltype(arg)>(arg)) is_cexpr;
    std::cout << "is constexpr? " << is_cexpr::value << '\n';
}

然而，这总是为我打印出false！为了检查是否由于某些原因没有总是调用假重载，我注释掉了假重载并得到了编译器错误：

注意：已忽略候选模板：替换失败[N=0，T=const std:：tuple]：非类型模板参数不是常量表达式
自动检查（const T

但是，我确实知道我可以调用std::获取

template<size_t N>
class A{};

int main()
{
    constexpr std::tuple<size_t, size_t> arg(4,5);
    A<std::get<0>(arg)> a_val;
}

这编译得很好。

• 为什么检查函数不能正确检测到conexpr-ness？
• 我该怎么解决这个问题？

我在Ubuntu 16.04上用Clang3.8.0测试了这个。

编辑：

作为基于Sam答案的进一步测试，我尝试了以下形式：

template<size_t N, class T>
auto check(const T& arg)
{
    return sfinae_true<(std::get<N>(arg)*0)>();
}

这就完全摆脱了逗号运算符，GCC 5.4.0编译得很好，但Clang 3.8.0仍然抱怨它。有趣的是，Clang强调了arg本身并不是constexpr。

为什么这个问题仍然存在？constexpr函数参数的规则是什么？




Answer 1

这看起来像是编译器问题。

template<size_t N, class T>
auto check(const T& arg) -> sfinae_true<(std::get<N>(arg),N)>;

gcc未能编译以下内容：

t、 C:8:61:错误：模板参数1是无效的自动检查（const t

但是在稍微调整了一下之后，我在gcc 6.1.1中得到了预期的结果：

#include <tuple>
#include <type_traits>
#include <iostream>

template<size_t> struct sfinae_true : std::true_type{};

template<size_t N, class T>
auto check(const T& arg)
{
    return sfinae_true<(std::get<N>(arg),N)>();
}

template<size_t N, class>
std::false_type check(...);

int main()
{
    constexpr std::tuple<size_t, size_t> arg(4,5);
    typedef decltype(check<0,decltype(arg)>(arg)) is_cexpr;
    std::cout << "is constexpr? " << is_cexpr::value << '\n';
}

这导致：

is constexpr? 1

请注意，在C 11之前的常量表达式中不允许使用逗号。可能是那个时代遗留下来的东西。。。