Question

我在非模板化的类中有一个模板化函数，如下所示：

class Foo
{
  public:
  template <class T>
  void func(T& val)
  {
     //do work here
  }
}

然后，在main.cpp中我正在做：

Foo a;
std::string val;
a.func<std::string>(val);  //this line gives the error

我收到一条错误，提示＆＃34;在＆＃39;＆gt;＆＃39;＆＃39;＆＃34; 之前预期的主要表达。所以我做了一个快速的谷歌搜索，发现每个人都建议一个简单的解决方案：

a.template func<std::string>(val);

唯一的问题是，我仍然得到完全相同的错误。

编辑：

我没有提供完整示例的原因是因为它涉及外部库和冗长的代码，这些代码模糊了问题，但由于上面的简化代码并没有削减它。这是我写的完整课程：

class ConfigFileReader
{
public:
    ConfigFileReader() { }

    ConfigFileReader(const std::string& config_file_path)
    {
      setConfigFilePath(config_file_path);
    }

    ~ConfigFileReader() { }

    void setConfigFilePath(const std::string& config_file_path)
    {
    try
    {
        root_node_ = YAML::LoadFile(config_file_path);
    }
    catch(const YAML::BadFile& file_load_exception)
    {
        printf("Error opening YAML file. Maybe the file path is incorrect\n%s", file_load_exception.msg.c_str());
    }

    }

    template<class T>
    bool getParam(const std::string& param_key, T& param_value)
    {
        if (root_node_.IsNull() || !root_node_.IsDefined())
        {
            printf("Root node is undefined or not set");
            return false;
        }

        YAML::Node node = YAML::Clone(root_node_);

        std::vector<std::string> split_name;
        boost::split(split_name, param_key, boost::is_any_of("/"));

        for(const std::string& str: split_name)
        {
            if (!node.IsMap())
            {
                std::cout << "Parameter was not found (Node is null)." << str << std::endl;   //replace with printf
                return false;
            }

            node = node[str];
        }

        if (node.IsNull() || !node.IsDefined())
        {
            std::cout << "Parameter was not found (Node is null/undefined)." << std::endl;
            return false;
        }

        try
        {
            param_value = node.as<T>();
            return true;
        }
        catch (const YAML::TypedBadConversion<T>& type_conversion_exception)
        {
            std::cout << "Error converting param value into specified data type" << std::endl;
            std::cout << type_conversion_exception.msg << std::endl;
        }

        return false;
    }

private:
    YAML::Node root_node_;
};

然后，在一个单独的cpp文件中是主要功能

int main(int argc, char** argv)
{
if (argc != 2)
{
  printf("Incorrect number of arguments given");
    return EXIT_FAILURE;
}

printf("Config file path: %s", argv[1]);

ConfigFileReader config_file_reader(std::string(argv[1]));

std::string param_out;

bool success = config_file_reader.template getParam<std::string>("controller/filepath", param_out);  //<-- ERROR HERE

return EXIT_SUCCESS;
}

编译器： gcc 4.8.4，编译时设置了c ++ 11标志。

编辑2： 在代码中添加了字符串参数构造函数。

Answer 1

你的问题是：

ConfigFileReader config_file_reader(std::string(argv[1]));

被解释为名为config_file_reader的函数的前向声明，该函数接受指向字符串的指针。请参阅错误消息：

ConfigFileReader（std :: __ cxx11 :: string *）{aka ConfigFileReader（std :: __ cxx11 :: basic_string *）}＆＃39;

这是因为您遇到了The most vexing parse

使用ConfigFileReader config_file_reader(std::string{argv[1]});更好地消除您打算构造对象的编译器的歧义。然后编译器会开始抱怨你错过了接受字符串的构造函数！

你做有一个默认构造函数，所以当我们使用它时：

ConfigFileReader config_file_reader;

它没有问题。

所以：

定义ConfigFileReader的构造函数，该构造函数接受string，然后
以代码明确的方式调用

Demo

Answer 2

它更简单：

Foo a;
std::string val;
a.func(val);  // The compiler assumes T = std::string

调用非模板化类c ++的模板化函数时出错

2 个答案: