C语言中的预期析构函数

Question

我有这个代码，输出如下：

链接到下面的示例https://godbolt.org/z/z8Pn9GsTv

template <typename T>
struct A1 {
    A1() {
        std::cout << "construction of a1" << std::endl;
    }

    ~A1() {
        std::cout << "destruction of a1" << std::endl;
    }
    ~A1() requires (std::is_same_v<T,int>) {
        std::cout << "it is an int" << std::endl;
    }
};

int main() {
    A1 <int>a;
    
    return 0;
}

输出：

construction of a1
destruction of a1

但交换析构函数的位置会产生其他结果：

代码链接https://godbolt.org/z/vxj7dPqaj

template <typename T>
struct A1 {
    A1() {
        std::cout << "construction of a1" << std::endl;
    }

    ~A1() requires (std::is_same_v<T,int>) {
        std::cout << "it is an int" << std::endl;
    }
    ~A1() {
        std::cout << "destruction of a1" << std::endl;
    }
};

输出：

construction of a1
it is an int

想知道这是一个错误吗？

Answer 1

在您的类模板上，您有两个析构函数定义配方。在实例化期间，编译器获取与所需签名匹配的“第一”配方。取决于编译器，取决于结果。我认为clang、gcc和Ming w将提供相同的结果，msvc方法不同。https://cplusplus.github.io/CWG/issues/1495.html

Answer 2

在你的第二个密码里，

尝试改变这一点：

A1 <int>a;

对此：

A1 <double>a;

您将获得输出：

construction of a1
destruction of a1 // With MSVC & GCC compiler

我在这里的解释是，当第一个构造函数的条件（要求）失败时，调用2'nd构造函数，它打印“销毁a1”并销毁a。

这里有一个更详细的解释。。。

Answer 3

正如Quimby所指出的，这确实是一个报告的Clang bug¹。

请注意，第二个代码段（第一个带有约束析构函数的代码段）在Clang中并没有真正“起作用”，它只是忽略了第二个析构函数²。

还要注意的是，与gcc不同，在我写这篇文章的时候，Clang似乎还没有实现[P0848R3]（这是关于条件平凡的特殊成员函数）但是³。

^{1）https://bugs.llvm.org/show_bug.cgi?id=50570
2）参见例如：https://godbolt.org/z/rff7qfK65
3）查看功能测试宏__cpp_concepts的报告值，例如此处：https://godbolt.org/z/P4z3Pj5vT}