为什么我的 SFINAE 表达式不再适用于 GCC 8.2？

Question

我最近将 GCC 升级到 8.2，我的大部分 SFINAE 表达式都停止工作了。

以下内容有所简化，但演示了问题：

#include <iostream>
#include <type_traits>

class Class {
public:
    template <
        typename U,
        typename std::enable_if<
            std::is_const<typename std::remove_reference<U>::type>::value, int
        >::type...
    >
    void test() {
        std::cout << "Constant" << std::endl;
    }

    template <
        typename U,
        typename std::enable_if<
            !std::is_const<typename std::remove_reference<U>::type>::value, int
        >::type...
    >
    void test() {
        std::cout << "Mutable" << std::endl;
    }
};

int main() {
    Class c;
    c.test<int &>();
    c.test<int const &>();
    return 0;
}

C++ (gcc) – Try It Online

C++ (clang) – Try It Online

旧版本的 GCC（不幸的是我不记得我之前安装的确切版本）以及 Clang 编译上面的代码就好了，但是 GCC 8.2 给出了一个错误说明：

：在函数'int main()'中：
:29:19: 错误: 重载 'test()' 的调用不明确
     c.test();
                   ^
:12:10: 注意：候选人：'void Class::test() [with U = int&;类型名 std::enable_if::type>::value>::type ... = {}]'
     无效测试（）{
          ^~~~
:22:10: 注意：候选人：'void Class::test() [with U = int&;类型名 std::enable_if::type>::value)>::type ... = {}]'
     无效测试（）{
          ^~~~
:30:25: 错误: 重载 'test()' 的调用不明确
     c.test();
                         ^
:12:10: 注意：候选人：'void Class::test() [with U = const int&;类型名 std::enable_if::type>::value>::type ... = {}]'
     无效测试（）{
          ^~~~
:22:10: 注意：候选人：'void Class::test() [with U = const int&;类型名 std::enable_if::type>::value)>::type ... = {}]'
     无效测试（） {

通常情况下，不同的编译器和编译器版本以不同的方式处理相同的代码，我假设我正在调用未定义的行为。标准对上述代码有什么说法？我做错了什么？

---

注意：问题不在于解决此问题的方法，我想到了几种方法。问题是为什么这不适用于 GCC 8 - 它是标准未定义的，还是编译器错误？

注意 2： 由于每个人都在使用默认的 void 类型的 std::enable_if，因此我将问题改为使用 int。问题依然存在。

注3：GCC bug report created

Answer 1

这是我的看法。总之，clang是对的，gcc有回归。

我们有照[temp.deduct]p7：

替换发生在函数类型和模板参数声明中使用的所有类型和表达式中。 [...]

这意味着无论包是否为空，都必须进行替换。因为我们仍处于直接上下文中，所以这是 SFINAE-able。

接下来我们知道可变参数确实被认为是一个实际的模板参数；来自[temp.variadic]p1

模板参数包是接受零个或多个模板参数的模板参数。

而[temp.param]p2 表示允许哪些非类型模板参数：

非类型模板参数应具有以下类型之一（可选 cv 限定）：

• 一种文字类型，具有强结构相等性（[class.compare.default]），没有可变或易失的子对象，如果其中有一个默认的成员操作符，那么它被声明为公共的，

• 左值引用类型，

• 包含占位符类型 ([dcl.spec.auto]) 的类型，或

• 推导类类型的占位符 ([dcl.type.class.deduct])。

请注意，void 不符合要求，您的代码（如发布的）格式不正确。

Answer 2

我不是语言律师，但下面的引用不能与问题有某种联系吗？

[temp.deduct.type/9]: 如果 Pi 是包扩展，则将 Pi 的模式与 A 的模板参数列表中的每个剩余参数进行比较。每次比较都会推导出由 Pi 扩展的模板参数包中后续位置的模板参数。

在我看来，由于模板参数列表中没有剩余参数，因此没有比较模式（其中包含enable_if）。如果没有比较，那么也没有扣除，我相信扣除后会发生替代。因此，如果没有替换，则不会应用 SFINAE。

如果我错了，请纠正我。我不确定这个特定的段落是否适用于此，但在 [temp.deduct] 中还有更多关于包扩展的类似规则。此外，此讨论可以帮助更有经验的人解决整个问题：https://groups.google.com/a/isocpp.org/forum/#!topic/std-discussion/JwZiV2rrX1A。

Answer 3

部分答案：将typename = typename enable_if<...>, T=0 与不同的Ts 一起使用：

#include <iostream>
#include <type_traits>

class Class {
public:
    template <
        typename U,
        typename = typename std::enable_if_t<
            std::is_const<typename std::remove_reference<U>::type>::value
        >, int = 0
    >
    void test() {
        std::cout << "Constant" << std::endl;
    }

    template <
        typename U,
        typename = typename  std::enable_if_t<
            !std::is_const<typename std::remove_reference<U>::type>::value
        >, char = 0
    >
    void test() {
        std::cout << "Mutable" << std::endl;
    }
};

int main() {
    Class c;
    c.test<int &>();
    c.test<int const &>();
    return 0;
}

(demo)

仍在试图弄清楚std::enable_if<...>::type... 到底是什么意思知道default type is void。