为什么不 ~ 后跟 :: parse

Question

在 Andrei Alexandrescu 关于错误处理的演讲中：

见C++ and Beyond 2012: Andrei Alexandrescu - Systematic Error Handling in C++（大约 30 分钟）

Andrei 提供以下代码：

~Expected()
{
    using std::exception_ptr;
    if (gotHam) ham.~T();
    else spam.~exception_ptr();
}

这个析构函数正在清理一个union，它包含一些类型T或std::exception_ptr。联合使用placement new 填充。

Andrei 然后解释说using std::exception_ptr; 是必要的，因为以下代码无法解析：

    else spam.~std::exception_ptr();

这意味着如果您需要显式调用不同命名空间中类的析构函数，则始终需要使用 using 指令。

为什么第二个例子不解析？

以下代码会是一个有效的替代方案吗？

    else delete spam;

这和显式调用std::exception_ptr的析构函数有同样的效果吗

Answer 1

这里的问题是~std::exception_ptr() 并不是您要调用的函数的名称，而只是~exception_ptr()。而且，由于它属于不同命名空间中的一个类，所以它是不可访问的（编辑：虽然它应该可以根据 C++11 标准中的 §3.4.5/3 进行访问，正如 nm 在他的回答中指出的那样，但是 Microsoft编译器会以这种方式运行）。

除了将类引入命名空间之外，您还有另一种选择：使用限定的类名进行显式调用：

else spam.std::exception_ptr::~exception_ptr(); // This is legal

至于您的第二个问题，正如 R. Martinho Fernandes 在评论中正确解释的那样，调用 delete 运算符不等同于仅调用析构函数：它还调用了名称笨拙的函数 operator delete()。

Answer 2

Andrei 可能使用using std::exception_ptr;，因为他的编译器坏了。

没必要。 spam.~exception_ptr(); 没有它应该编译得很好。

3.4.5/3。如果 unqualified-id 是 ~type-name，则在整个后缀表达式的上下文中查找类型名称。如果对象表达式的类型 T 是类类型 C，则类型名称也在类 C 的范围内查找。

它确实可以用 gcc 编译。

如果您出于某种原因需要使用限定名，spam.std::exception_ptr::~exception_ptr(); 也会编译。

Answer 3

语法 spam.~std::exception_ptr 是不允许的，因为语法要求一个 id 表达式，而 ~std::exception_ptr 不是一个，正如 Gorpik 指出的那样，你需要 spam.std::exception_ptr::~exception_ptr()。但是我不明白为什么需要限定，在描述语法的子句中，提醒一下

因为类名被插入到其类范围内（第 9 条），所以类名也被认为是该类的嵌套成员。

所以我认为即使没有 using 子句，spam.~exception_ptr() 也应该是有效的。顺便说一句

namespace ns {
struct Foo {};
}

void f()
{
    ns::Foo x;
    x.~Foo();
}

使用我可以访问的所有 g++（包括非常旧的 2.95）进行干净编译。这似乎证实了我的观点，如果它在 C++11 的更新联合类型的上下文中不起作用，那是实现中的一个错误。

使用 g++ 4.7.1 进行编辑，以下内容也可以使用 -std=c++11 进行编译。

namespace ns {
struct Foo {};
}

struct Bar {};

union U {
    ns::Foo f;
    Bar b;
};

struct C {
    bool b;
    U u;
    ~C() {
        if (b)
            u.f.~Foo();
        else
            u.b.~Bar();
    }                
};

void f()
{
    C c;
}

所以 Andrei 一直在试图解决一个不需要解决的问题（可能是因为他正在使用的编译器中的一个错误，或者是因为忘记了类名是在类的范围内导入的事实）。