删除的构造函数和模板

Question

考虑以下：

template<typename T>
class A
{
public:
    A(int a)
    {}

    A() = delete;
};

class B
{
public:
    B()
    {
        A<int> a;
    }
};

当然，这段代码无法编译，因为 B 类的构造函数试图默认构造一个 A 类对象，而我已经明确删除了该构造函数。 一切都很好。

但是，如果我将 B 设为类模板

template<typename T>
class A
{
public:
    A(int a)
    {}

    A() = delete;
};

template<typename T>
class B
{
public:
    B()
    {
        A<int> a;
    }
};

然后代码确实编译了，看来我现在可以默认构造 A 类的实例。

为什么是这样？ 我错过了什么？

谢谢。

Answer 1

哦！ 似乎编译器在尝试从模板实例化一个类之前不会看到错误。

实际上尝试创建 B<> 类型的对象会产生预期的错误。

对不起，如果我浪费了你的时间。