相关疑难解决方法(0)

我很惊讶以下简单代码无法编译(使用gcc,版本4.8.1)

#include <string>
void test()
{
  std::string* p = new std::string("Destruct me");
  p->std::~string();
}

它说:错误:'〜'之前的范围'std'不是类名.然而,阅读标准,我会说语法说它应该是" postfix-expresssion - > pseudo-constructor-name ",其中伪构造函数名称可以是" nested-name-specifier ~ type-name "形式,和nested-name-specifier可以是" identifier ::".

离开"std ::"会引起一个抱怨,即在左边的paren之前预计有一个类名,并且在倾向之后将它放在"::"之前预期类名的投诉之后.经过一些尝试后,我发现它会在编写时编译p->std::string::~string();(但不会在编写时编译p->std::string::~std::string();).但是使用自己的类型名称来限定析构函数并不是一个中立的操作; 我从标准的12.4:13中的示例中收集(但奇怪的是不是来自规范性文本),这会强制调用精确静态(基类)类的析构函数,而不是作为(最大派生的)虚函数指向的实际对象的类型.这没有区别,但在相似的情况下它会; 为什么语法会强制使用静态类型？

但是,使用clang而不是gcc,即使提到的变体也会出现语法错误.如果你在阅读错误信息时想要获得这种幽默,那么clang的错误信息会更有趣:因为p->std::string::~string();它给出了"'''之后的类名称命名析构函数"(所以它确实如此) ;人们想知道哪种类名称不会被命名为析构函数(如果以波浪号为前缀),并且在我的初始试验中p->std::~string()它反驳"合格的成员访问是指名称空间'std'中的成员"(再次想知道这有什么问题) ;实际上被调用的析构函数位于命名空间"std"中.我已经尝试了所有8个合理的组合(在代字号之前的std ::和/或string ::和/或之后的/或std ::)并且它们都没有用clang编译.

即使是使用clang,我也可以编译它using std::string;.但我发现很奇怪的是,在标准中我没有发现这样的声明在这种情况下是必要的.事实上,我找不到解决调用命名空间限定类的析构函数的问题. .我错过了一些明显的东西吗

作为最后一点,我想补充说,在调用析构函数时,根本不需要使用命名空间限定.由于这是一个来自一个良好指定对象的成员访问(这里*p)不应该依赖于参数的查找使显式限定命名空间不必要吗？

根据[expr.const]/5.18：

表达式 E 是核心常量表达式，除非对 E 的求值遵循抽象机 ([intro.execution]) 的规则，将求值以下其中一项：

• new 表达式 ([expr.new])，除非所选分配函数是可替换的全局分配函数 ([new.delete.single]、[new.delete.array])，并且分配的存储空间在E;

放置新表达式不是常量表达式。

为了解决这个问题，C++20 添加了std::construct_at. 那么为什么不能将placement-new表达式设为常量表达式呢？

使用时经常会出现以下情况std::optional：

void bar(const Foo*);

void baz(const std::optional<Foo>& foo) {
    // This is clunky to do every time.
    bar(foo.has_value() ? &foo.value() : nullptr);
    
    // Why can't I do this instead?
    bar(foo.as_ptr());
}

这种情况使得采用 变得很烦人std::optional，因为这样将它与需要指针的现有代码一起使用是非常不方便的。那么为什么没有.as_ptr()提供类似的东西std::optional呢？这似乎是一个非常明显的便利功能。