Questions tagged «inference»

我遇到过这个术语Hindley-Milner，我不确定是否理解它的含义。 我已阅读以下帖子： Steve Yegge- 动态语言反击 史蒂夫·叶格- 皮诺奇问题 Daniel Spiewak- 什么是Hindley-Milner？（为什么它很酷？） 但是维基百科中没有一个词条可以为我提供简要的解释。 注意 - 现在已添加一个 它是什么？ 哪些语言和工具实现或使用它？ 您能提供一个简洁的答案吗？

124 functional-programming  types  inference  hindley-milner 

我今天的问题很简单：为什么编译器不能像从函数参数中那样从类构造函数中推断出模板参数？例如，为什么以下代码无效： template<typename obj> class Variable { obj data; public: Variable(obj d) { data = d; } }; int main() { int num = 2; Variable var(num); //would be equivalent to Variable<int> var(num), return 0; //but actually a compile error } 正如我所说，我知道这是无效的，所以我的问题是为什么呢？允许这样做会造成任何重大的语法漏洞吗？是否存在一个实例，该实例不希望使用此功能（推断类型会导致问题）？我只是在试图理解允许对函数进行模板推断的逻辑，而对于允许适当构造的类则不是。

102 c++  templates  parameters  inference