- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
我不明白为什么不能在运算符的 RHS 上使用初始化列表。考虑:
class foo { };
struct bar
{
template<typename... T>
bar(T const&...) { }
};
foo& operator<<(foo& f, bar const&) { return f; }
int main()
{
foo baz;
baz << {1, -2, "foo", 4, 5};
return 0;
}
最新的 Clang(还有 gcc)提示:
clang.cc:14:9: error: initializer list cannot be used on the right hand side of operator '<<'
baz << {1, -2, "foo", 4, 5};
^ ~~~~~~~~~~~~~~~~~~~~
^ ~~~~~~~~~~~~~~~
为什么 C++ 标准会禁止这样做?或者换句话说,为什么这会失败,而不是
baz << bar{1, -2, "foo", 4, 5};
?
最佳答案
事实上,C++11 的最终版本不允许在二元运算符的右侧(或左侧)使用初始化列表。
首先,初始化列表不是标准 §5 中定义的表达式。函数的参数以及二元运算符的参数通常必须是表达式,§5 中定义的表达式的语法不包括大括号初始化列表的语法(即纯初始化列表;注意类型名 < em>后跟一个大括号初始化列表,例如 bar {2,5,"hello",7}
是一个表达式)。
为了能够方便地使用纯初始化列表,标准定义了各种异常,总结在以下(非规范)注释中:
§8.5.4/1 [...] Note: List-initialization can be used
— as the initializer in a variable definition (8.5)
— as the initializer in a new expression (5.3.4)
— in a return statement (6.6.3)
— as a function argument (5.2.2)
— as a subscript (5.2.1)
— as an argument to a constructor invocation (8.5, 5.2.3)
— as an initializer for a non-static data member (9.2)
— in a mem-initializer (12.6.2)
— on the right-hand side of an assignment (5.17)
[...]
上面的第四项明确允许纯初始化列表作为函数参数(这就是为什么 operator<<(baz, {1, -2, "foo", 4, 5});
有效),第五项允许它在下标表达式中(即作为 operator[]
的参数,例如 mymap[{2,5,"hello"}]
是合法的) ,最后一项允许它们位于赋值的右侧(但不是一般的二元运算符)。
二元运算符没有这样的异常(exception),例如 +
, *
或 <<
,因此您不能在它们的任一侧放置一个纯初始化列表(即前面没有类型名的列表)。
至于这样做的原因,draft/discussion paper N2215由 Stroustrup 和 Dos Reis 从 2007 年开始,对各种情况下初始化列表的许多问题提供了很多见解。具体来说,有一个关于二元运算符的部分(第 6.2 节):
Consider more general uses of initializer lists. For example:
v = v+{3,4};
v = {6,7}+v;When we consider operators as syntactic sugar for functions, we naturally consider the above equivalent to
v = operator+(v,{3,4});
v = operator+({6,7},v);It is therefore natural to extend the use of initializer lists to expressions. There are many uses where initializer lists combined with operators is a “natural” notation.
However, it is not trivial to write a LR(1) grammar that allows arbitrary use of initializer lists. A block also starts with a { so allowing an initializer list as the first (leftmost) entity of an expression would lead to chaos in the grammar.
It is trivial to allow initializer lists as the right-hand operand of binary operators, in subscripts, and similar isolated parts of the grammar. The real problem is to allow;a={1,2}+b;
as an assignment-statement without also allowing;{1,2}+b;
. We suspect that allowing initializer lists as right-hand, but nor [sic] as left-hand arguments to most operators is too much of a kludge, [...]
换句话说,初始化器列表在右侧未启用因为它们在左侧未启用,并且它们在左侧未启用-一方面,因为这会给解析器带来太大的挑战。
我想知道是否可以通过为初始化列表语法选择不同的符号而不是花括号来简化问题。
关于c++ - 运算符的初始化列表和 RHS,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/33675028/
class test { public: int i = 0; test& operator+=(const test &rhs) { i += rhs.i;
我有一个数据框和一个存储在变量中的公式: > d f update(f, .~.-foo) Error in terms.formula(tmp, simplify = TRUE) :
我有一个这样的类型类: class (Coercible a b) => Foo a b | a -> b 我想声明以下 Generic 的实例: data Thing a where Thi
我在数据框 Data1 中有一个包含 100 列的列表。这些变量之一是因变量。其他人是预测者。 我需要将 99 个预测变量提取到一个列中(比如 varlist),以便在下面的等式中使用 equatio
我不明白为什么不能在运算符的 RHS 上使用初始化列表。考虑: class foo { }; struct bar { template bar(T const&...) { } };
我不明白为什么不能在运算符的 RHS 上使用初始化列表。考虑: class foo { }; struct bar { template bar(T const&...) { } };
这是一个赋值运算符。 &rhs != this 令人困惑。我的问题:rhs 是 Message 类型的引用。 &rhs 是什么意思? & 做什么(引用的内存地址?)?另一个问题是关于 return *
我不明白为什么不能在运算符的 RHS 上使用初始化列表。考虑: class foo { }; struct bar { template bar(T const&...) { } };
我不明白为什么不能在运算符的 RHS 上使用初始化列表。考虑: class foo { }; struct bar { template bar(T const&...) { } };
我不明白为什么不能在运算符的 RHS 上使用初始化列表。考虑: class foo { }; struct bar { template bar(T const&...) { } };
在这里,我理解 rhs 表示右手边,但我不明白编译器如何理解“rhs”指的是右手边。有人可以解释在什么情况下需要这种重载吗? MyArray& operator=(const MyArray& rhs
我来自 C++ 世界,我找不到以下 Java 替代方案(如果有的话): struct SomeStruct { SomeStruct(){} SomeStruct(const Some
我不明白为什么不能在运算符的 RHS 上使用初始化列表。考虑: class foo { }; struct bar { template bar(T const&...) { } };
这个问题在这里已经有了答案: Transpose / reshape dataframe without "timevar" from long to wide format (8 个回答) 4年前关
我可以构建一个公式,从公式中术语的字符版本开始,我想要做什么,但我在从公式对象开始时遇到了困难: form1 attr( terms(form1), "term.labels") [1] "A" "
在类的赋值运算符中,你通常需要检查被赋值的对象是否是调用对象,这样你就不会搞砸了: Class& Class::operator=(const Class& rhs) { if (this !
这个问题在这里已经有了答案: Rvalue Reference is Treated as an Lvalue? (4 个回答) 去年关闭。 在有效的现代 C++ class Widget { pub
在 shell 脚本中,将一个变量赋值给另一个变量时这两者有什么区别: a=$b 和 a="$b" 我什么时候应该使用一个而不是另一个? 最佳答案 我觉得这里没有太大区别。是的,建议在引用变量时用双引
Eclipse在下面的声明中报类型安全警告是有原因的吗? Map>> mapX = new HashMap(); 我知道所有 mapX 用法都是强类型的,但是 java 泛型坚持提供 HashMap
我想确定一下我的理解是否正确。 我正在研究这段代码。 #include using namespace std; // modified largely from // http://d.haten
我是一名优秀的程序员,十分优秀!