C ++中一个变量定义列表中的Const和非const

Question

为什么不能在一个定义列表中定义const和非const变量？

例如，在使用for循环时：

for (size_t i = 0, const iCount = data.size(); i < iCount; ++i);

从猜测中，从const-correctness观点来看会更好。

PS我第一次问这个问题是错的。 它更适合语言设计者，而不是“为什么它可以在我的机器上编译？” 。 我想说如果在下一个C ++标准中将其作为语法糖实现，那将会好得多。 这也将阻止在每次循环迭代中调用data.size() 。 我的意思是，为什么不扩展当前的C ++变量定义列表以支持单一定义列表中的const和non-const ？

Answer 1

你不能，因为你只能在for循环声明中有一个类型。 const是该类型的一部分。

Answer 2

在我看来，这只是一个惯例。 可以采用限定符可以包含在声明符中。

目前，您可以将cv-qualifiers与指针声明符一起使用。 例如，这种结构是有效的

int x, * const p = &x;

所以我没有看到这种建筑的严重原因

int x, const y = 10;

不能被允许。

您应该在isocpp.org上询问这个问题，其中讨论了C ++标准。:)

Answer 3

我想说如果在下一个C ++标准中将其作为语法糖实现，那将会好得多。

“复合糖导致结肠癌。”

在规范的复杂性，编译器实现的复杂性，IDE和代码分析工具的复杂性方面，添加像这样的“简单”变化具有巨大的成本，并且不一定使语言更容易教授或使用，除了在你展示的一个特定案例中。

这也将阻止在每次循环迭代中调用data.size（）。

您是否检查过优化代码中是否确实存在多个调用？ 如果没有，为什么我们需要语言扩展来防止不会发生的事情？

我的意思是，为什么不扩展当前的C ++变量定义列表以支持单一定义列表中的const和非const？

除了for循环外，它在任何地方都不会广泛使用，无论如何你都可以轻松完成：

{
  const size_t iCount = data.size();
  for (size_t i = 0; i < iCount; ++i)
    ;
}

Answer 4

在for你可以声明多个变量，前提是它们具有相同的类型。 size_t和const size_t是不同的类型。

你不需要在那里声明iCount ，只需写; i < data.size(); ; i < data.size(); 作为条件。

Answer 5

因为它们是不同的数据类型，因此它不是单个定义列表。