0

我有一个我认为是关于使用通用返回类型专门化函数的简单问题。我找不到另一篇回答我的问题的帖子，但也许那个帖子存在，我只是不理解它（或者我还没有找到它）。所以，希望这不是重复，但它就是这样：
以下代码说明了我的问题：
啊

    class A {
        //...
        template<typename T> T func() { 
            cout << "Generic" << endl;
            T temp;
            return temp;
        }
    }

A.cpp

        //...
        template<> inline double A::func<double>() { 
            cout << "Double" << endl; 
            double d;
            return d;
        }

用法：

int main() {
    A a;
    int var1 = a.func<int>();
    double var2 = a.func<double>();
}

您可能从代码中收集到的是，在double是模板参数的情况下，我想专门化通用func()函数。但是，运行时我看到：

通用的

通用的

代替：

通用的

双倍的

为什么两次都调用通用版本？我怎样才能得到我想要的行为？

我也会快速描述现实生活中的情况，以防我的问题的答案是“你可能永远不想这样做”。我只是想编写一个将命令行参数（字符串）解析为各种数据类型（int、double、bool 等）的类。一种明显的方法是为每种所需类型编写一个单独的函数。另一种方法是通过引用传递变量，而不是返回值，并为每种类型重载函数。

但是，我在想一个专门的函数会使代码更具可扩展性。我的目标是导致泛型案例发生错误，并显示一些错误消息，例如“我还没有为您的目标类型实现解析器”，而每个特殊案例都将实现适当的字符串到类型解析器. 我认为这将允许我为新类型添加解析器，而无需修改原始类文件，这与我相关，因为我正在将此参数解析器构建到库中。

好的，希望这是有道理的。我更感兴趣的是解释为什么代码没有达到我期望的效果而不是解决方案，但无论是哪一个都值得赞赏！

4

1 回答 1

3

该函数的特殊化是“隐藏”在 .cpp 文件中的，因此编译器在编译时永远不会看到它main（大概只包含.cpp A.h）。

要解决此问题，请在 中声明专业化A.h：

class A {
   // ...
};

template<> double A::func<double>();

如果您保留inline，您可能还可以将函数的整个定义移动到标题中。

于 2013-05-06T23:24:55.527 回答