为什么自动类型推导只能用于函数而不能用于类?
Why is that automatic type deduction is possible only for functions and not for Classes?
在特定情况下,你总是可以像 std::make_pair:
In specific cases you could always do like std::make_pair:
template<class T>
make_foo(T val) {
return foo<T>(val);
}
我刚刚在C++ 编程语言,第三版",第 335 页中找到了以下内容.Bjarne 说:
I just found the following in "The C++ Programming Language, Third Edition", page 335. Bjarne says:
请注意,类模板参数是从未推断.原因是几个提供的灵活性类的构造函数将使这种扣除在很多情况下是不可能的案例和模糊的更多.
Note that class template arguments are never deduced. The reason is that the flexibility provided by several constructors for a class would make such deduction impossible in many cases and obscure in many more.
这当然是非常主观的.在comp.std.c++ 中对此进行了一些讨论,共识似乎是没有理由不支持它.这是否是一个好主意是另一个问题...
This is of course very subjective. There's been some discussion about this in comp.std.c++ and the consensus seems to be that there's no reason why it couldn't be supported. Whether it would be a good idea or not is another question...
这篇关于C++ 中类与函数的模板类型推导?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持html5模板网!
为什么两个函数的地址相同?Why do two functions have the same address?(为什么两个函数的地址相同?)
为什么 std::function 的初始化程序必须是可复制构Why the initializer of std::function has to be CopyConstructible?(为什么 std::function 的初始化程序必须是可复制构造的?)
混合模板与多态性mixing templates with polymorphism(混合模板与多态性)
我什么时候应该使用关键字“typename"?使用模When should I use the keyword quot;typenamequot; when using templates(我什么时候应该使用关键字“typename?使用模板时)
依赖名称解析命名空间 std/标准库Dependent name resolution amp; namespace std / Standard Library(依赖名称解析命名空间 std/标准库)
gcc 可以编译可变参数模板,而 clang 不能gcc can compile a variadic template while clang cannot(gcc 可以编译可变参数模板,而 clang 不能)