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

Question

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

Answer 1

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++ 代码语法，我不侮辱语言，但这真的很神秘。如果我犯了错误，请纠正我

Answer 2

本质上，与大人相比，C++ 推理过于简单。

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

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

auto x = foo(1, 2);

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

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

不会工作，因为你不能倒退并使用声称的类型foo来推断 lambda 的类型。

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