为什么C ++ 11会"delete
d" functions participate in overload resolution?
为什么这有用?或者换句话说,为什么它们被隐藏而不是被完全删除?
答案 0 :(得分:108)
= delete
语法的一半目的是能够阻止人们使用某些参数调用某些函数。这主要是为了防止某些特定场景中的隐式转换。为了禁止特定的过载,它必须参与重载决策。
您引用的答案为您提供了一个完美的例子:
struct onlydouble {
onlydouble(std::intmax_t) = delete;
onlydouble(double);
};
如果delete
完全删除了该功能,那么= delete
语法将与此相当:
struct onlydouble2 {
onlydouble2(double);
};
你可以这样做:
onlydouble2 val(20);
这是合法的C ++。编译器将查看所有构造函数;它们都没有直接采用整数类型。但其中一个人可以在隐式转换后接受它。所以它会称之为。
onlydouble val(20);
这是不是合法的C ++。编译器将查看所有构造函数,包括delete
d构造函数。它将通过std::intmax_t
(完全匹配任何整数文字)看到完全匹配。因此编译器会选择它然后立即发出错误,因为它选择了delete
d函数。
= delete
的意思是“我禁止这个”,不仅仅是“这不存在”。这是一个更强烈的声明。
我在问为什么C ++标准说=删除意味着“我禁止这个”而不是“这不存在”
这是因为我们不需要特殊的语法来说“这不存在”。我们通过简单地不声明所讨论的特定“这个”来隐含地得到这个。 “我禁止这个”代表了一种无法在没有特殊语法的情况下实现的结构。所以我们得到特殊的语法来说“我禁止这个”而不是另一个。
通过明确的“这不存在”语法可以获得的唯一功能是防止某人后来声明它存在。而这仅仅是没有用到需要自己的语法。
否则无法声明复制构造函数不存在,并且它的存在会导致无意义的歧义。
复制构造函数是一个特殊的成员函数。每个总是的类都有一个复制构造函数。正如他们总是有一个复制赋值运算符,移动构造函数等
存在这些功能;问题只是称呼它们是否合法。如果你试图说= delete
意味着它们不存在,那么规范就必须解释它对函数不存在意味着什么。这不是规范处理的概念。
如果您尝试调用尚未声明/定义的函数,则编译器将出错。但它会因为未定义的标识符而出错,而不是因为“函数不存在”错误(即使您的编译器以这种方式报告)。各种构造函数都是通过重载解析来调用的,因此它们的“存在”就是在这方面处理的。
在每种情况下,都有一个通过标识符声明的函数,或者一个构造函数/析构函数(也通过标识符声明,只是一个类型标识符)。运算符重载隐藏了语法糖的标识符,但它仍然存在。
C ++规范无法处理“不存在的函数”的概念。它可以处理过载不匹配。它可以处理过载歧义。但它不知道什么不存在。所以= delete
是根据更有用的“尝试调用此失败”来定义的,而不是那些不太有用的“假装我从未写过这一行。”
再次重读第一部分。 无法执行此操作“功能不存在”。这是为什么以这种方式定义的另一个原因:因为= delete
语法的一个主要用例是能够强制用户使用某些参数类型,显式转换等等。基本上,要阻止隐式类型转换。
你的建议不会这样做。
答案 1 :(得分:10)
C ++工作草案2012-11-02没有提供这条规则背后的理由,只是一些例子
8.4.3删除的定义[dcl.fct.def.delete]
强制执行非默认初始化和非整数初始化
...
3 [示例:可以使用
struct onlydouble {
onlydouble() = delete; // OK, but redundant
onlydouble(std::intmax_t) = delete;
onlydouble(double);
};
- 结束示例]
[示例:可以通过使用已删除的a定义来阻止在某些新表达式中使用类 用户声明的运算符new为该类。
struct sometype {
void *operator new(std::size_t) = delete;
void *operator new[](std::size_t) = delete;
};
sometype *p = new sometype; // error, deleted class operator new
sometype *q = new sometype[3]; // error, deleted class operator new[]
- 结束示例]
[示例:通过使用已删除的副本定义,可以使类不可复制,即仅移动 构造函数和复制赋值运算符,然后提供移动构造函数的默认定义 并移动赋值运算符。
struct moveonly {
moveonly() = default;
moveonly(const moveonly&) = delete;
moveonly(moveonly&&) = default;
moveonly& operator=(const moveonly&) = delete;
moveonly& operator=(moveonly&&) = default;
~moveonly() = default;
};
moveonly *p;
moveonly q(*p); // error, deleted copy constructor
- 结束示例]