返回类型推断有缺点吗？如果是，它们是什么？

Question

很多静态类型语言，如 C++ 和 C#，都有局部变量类型推断（我认为分别使用关键字 auto 和 var）。

但是，我还没有看到很多 C 派生语言（除了 cmets 中提到的那些）实现编译时 返回类型 推断。在我提出问题之前，我将描述“返回类型推断”的含义。 （我绝对不是指按返回类型重载。）

以一种假设的类 C# 语言考虑这段代码：

private auto SomeMethod(int x)
{
    return 3 * x;
}

返回类型是int（编译器可以验证）这一点非常明显（对人类和编译器而言）。

多路径也是如此：

private auto SomeOtherMethod(int x)
{
    if(x == 0) return 1;
    else return 3 * x;
}

这仍然完全没有歧义，因为在上述语言中已经有一种算法来解决两个表达式是否具有兼容的类型：

private auto YetAnotherMethod(int x)
{
    var r = (x == 0) ? 1 : 3 * x;
    return r;
}

由于该算法存在并且已经以某种形式实现，因此在这方面可能不是技术问题。但是，我还没有在静态类型语言的任何地方看到它，这让我开始思考它是否有什么不好的地方。

---

我的问题：

• 作为一个概念，返回类型推断是否有任何缺点或我没有看到的微妙陷阱？ （除了可读性——我已经明白了。）
• 是否存在一些极端情况，它会给静态类型语言带来问题或歧义？（我所说的“介绍”指的是 局部变量 类型推断不存在的问题'还没有。）

Answer 1

是的，有缺点。您已经提到的一个：可读性。第二 - 必须计算类型，因此需要时间（在图灵完备的类型系统中，它可能是无限的）。但也有一些不同 - 类型系统的理论要复杂得多。

让我们编写一个函数，它接受一个列表并返回它的头部。它的类型是什么？或接受一个函数的函数，一个参数应用它并返回结果。在许多语言中，您不能声明它。为了支持这种东西，java引入了泛型，但它失败了。由于一致性问题，目前它是该语言最讨厌的功能之一

另一件事：返回的类型可能不仅取决于函数的主体，还取决于调用的上下文。让我们看看 haskell（我见过的最好的类型系统）http://learnyouahaskell.com/types-and-typeclasses 有一个名为 read 的函数，它接受一个字符串，解析它并返回......无论你需要什么，一个 int，一个数组。

因此，每次设计类型系统时，设计师都必须选择她想要停止的级别。动态语言决定根本不推断类型，scala 决定做一些局部推断，但不做，例如重载或递归函数，c++ 决定不推断结果