没有函数模板的实例与参数列表匹配，参数类型为：(std::string, CommandLineArgumentTypes)

Question

我有一个函数模板，它接受一个std::string 和一个enum 值，用于描述字符串中包含的数据类型。它将字符串转换为并返回 std::string、int、unsigned int 或 bool，具体取决于 enum 值。

template <typename T> T parseInput(std::string &input, CommandLineArgumentTypes &type) {
    switch (type) {
        case CommandLineArgumentTypes::String :
            return input;
        case CommandLineArgumentTypes::Int :
            if (int value = std::stoi(input)) {
                return value;
            }

            if (input.size() > 1) {
                if (input[0] == "0" && input[1] == "x") {
                    if (int value = std::stoi(input.substr(1, input.size() - 2))) {
                        return value;
                    }
                }
            }

            return NULL;
        case CommandLineArgumentTypes::UInt :
            return (unsigned int)std::stoi(input);
        case CommandLineArgumentTypes::Flag :
            return true;
    }
}

当我调用函数模板时

parseInput(arg, type);

其中arg 是一个字符串，type 是CommandLineArgumentTypes，我得到了错误

no instance of function template matches the argument list, argument types are: (std::string, CommandLineArgumentTypes).

如何让模板确定返回类型，为什么当参数与参数列表匹配时会出现此错误，以及有什么更好的方法？

Answer 1

我看到两个问题：

1. 模板参数T 不能从参数类型（input 和type）推导出来。

我了解您的意图是从类型的 值 中推断出它，但这在 C++ 中根本不起作用。

你必须明确它，调用函数；举例

 parseInput<bool>(arg, type);

1. 你的函数有不同类型的returns。而且它们是不相容的。

在 C++17 之前（if constexpr 之前）这是无法做到的。

在 C++17 中，可以这样做（使用 if constexpr，而不是 switch），但前提是测试基于编译时已知值。

所以，如果你将type 作为模板参数传递（如果你知道它的值编译时间，显然）你可以写一些东西（注意：代码未测试）

template <CommandLineArgumentTypes type>
auto parseInput (std::string &input)
 {
   if constexpr ( CommandLineArgumentTypes::String == type )
       return input;
   else if constexpr ( CommandLineArgumentTypes::Int == type )
    {
      // do something else
    }
   else if constexpr ( CommandLineArgumentTypes::UInt == type )
      return (unsigned int)std::stoi(input);
   else if constexpr ( CommandLineArgumentTypes::Flag == type )
      return true;
   // else ?
}

调用变成了，例如，

 parseInput<CommandLineArgumentTypes::UInt>(arg);

但是，我再说一遍，这只有在模板参数（旧的type）是已知的编译类型时才有效。