为什么 C++ 不能从赋值推导出模板类型?

2022-01-07 00:00:00 templates c++ stl

int x = fromString("test") :无法推导出ValueType"的模板参数

int x = fromString("test") :按预期工作正常

那么为什么编译器会在这里挣扎?我在各种真实的模板函数中看到它,而不仅仅是这个愚蠢的例子.它必须是语言的一个特性,但是什么?

So why does the compiler struggle here? I see it with all kinds of real template functions, not just this silly example. It must be a feature of the language, but what?

推荐答案

C++ 不对返回值进行类型推断.即,它被分配给 int 的事实不用于模板参数推导.

C++ doesn't do type inference on the return value. I.e., the fact that it is being assigned to an int isn't used in template parameter deduction.

(删除了编辑,因为其他人已经提供了超载的演员解决方案.)

(Removed edit, since someone else presented the overloaded cast solution already.)

相关文章