c++ - 默认值输入错误的构造函数不会引发 GCC 7 错误

Question

在下面的代码中，变量定义B<int, int>(14);应该是错误的:

#include <iostream>

struct A {
};

template<class T, class R=A>
class B {
public:
    explicit B(const int s, R n = A()) { 
        std::cout << "c\n"; 
    }
};

template <class T, class R=A>
void foo(const int s, R nx = A()) {};

int main() {
    B<int, int>(14);
    // foo<int, int>(14);
    // error: could not convert ‘A()’ from ‘A’ to ‘int’
}

为什么没有编译错误？

我compiled gcc 7.3 和 g++ -std=c++17 的代码

当我用 gcc 7.3 和 g++ -std=c++14 编译代码时, 我得到一个错误。

我认为该行使用参数的默认值 n在 B 的构造函数中.

默认值n是A() , 不可转换为 int .

我应该得到一个编译错误。但事实并非如此。

函数的类似情况(由 foo 测试)会导致编译错误。

Answer 1

你遇到了GCC bug #83020 . Clang 6 和 GCC 8(以及 GCC 6)正确拒绝您的示例代码，C++14 模式下的 GCC 7 也是如此。