Scala 和 C++11 的类型推断有什么区别

What are the differences between the type inference of Scala and C++11?

本文关键字：什么 区别 类型 C++11 Scala      更新时间：2023-10-16

我很好奇 Scala 和 C++11 的类型推断有什么区别。在哪些情况下，我必须用一种语言指定类型，而不用另一种语言指定类型？一个区别似乎是函数的返回类型，该返回类型始终必须在 C++11 中指定，尽管decltype和具有尾随返回类型的新函数语法允许指定推断类型。

C++无法推断出这样的匿名函数：

// this wont work*
void somefunc(std::vector<int>& v) 
{
    std::for_each(v.begin(), v.end(), [](auto &x) { x++; });
}
//                                        /
//                                         ------ I want this to be infered

而 Scala 可以：

def somefunc(v: Vector[Int]) = v.map(x => x +1)

*不确定我是否正确处理了C++代码语法，我不侮辱语言，但它真的很神秘。如果我犯了错误，请纠正我

从本质上讲，与成年人相比，C++推断过于简单。

函数式语言通常接近Hindley/Milner，它非常接近于求解方程组，并允许在栅栏的两侧都有未知数。

相反，C++期望能够知道任何内部表达式的类型，并从中推断出外部表达式的类型。这是一个严格的单向推理，这意味着：

auto x = foo(1, 2);

只要有一个接受整数并返回非 void 的foo，就可以按预期工作。但是，正如om-nom-nom所证明的那样：

foo(1, [](auto x) { ++x; });

将不起作用，因为您不能倒退并使用所谓的foo类型来推断 lambda 的类型。

背后的原因是C++使用函数的重载，这意味着可能存在foo的多个定义，并且您实际上需要知道参数的类型才能选择正确的参数。由于通常上述表达式是不可判定的，因此即使在有限的情况下也可以允许它避免未来的维护地狱和人们永远不知道何时可以使用它。

相关文章：