C++如何让input函数根据返回值类型自动推导模板参数

错误原因 #

C++的函数模板参数推导仅依赖调用时传入的实参，不会参考返回值赋值的目标变量类型。你编写的模板函数仅在返回值位置使用了模板参数T，调用时仅传入字符串参数，没有任何和T相关的入参，编译器无法推导T的具体类型，因此报错。

可行实现方案 #

可以通过代理类+重载类型转换运算符的方式实现需求，完全不需要修改你现有main函数的代码：

完整可运行代码 #

#include <iostream>
#include <string>
using namespace std;

// 输入代理类
class InputProxy {
private:
    string prompt;
public:
    InputProxy(const string& p) : prompt(p) {}

    // 模板类型转换运算符，赋值到对应类型时自动实例化调用
    template<typename T>
    operator T() const {
        T _input;
        cout << prompt;
        cin >> _input;
        return _input;
    }
};

// input函数返回代理类对象
InputProxy input(const string &prompt)
{
    return InputProxy(prompt);
}

// 你原本的main函数无需做任何修改
int main(void)
{
    int age;
    age = input("How old are you? ");

    cout << "\nYou are " << age << endl;
    return 0;
}

实现原理 #

input函数调用后会返回InputProxy类的临时对象，当把该对象赋值给int类型的age变量时，编译器会自动匹配类型转换函数，实例化出operator int()的模板版本，完成提示输出、内容读取、返回值转换的全流程，无需手动指定模板参数。

该实现同时支持所有支持cin >>操作的类型，比如字符串、浮点数等，使用方式和Python的input保持一致。

内容的提问来源于stack exchange，提问作者Cloud Worm