返回值的简单模板类成员函数专门化

Question

我试图调用一个模板类成员函数专门化，它从类的构造函数中返回一个值，但我似乎找不到正确的语法（如果存在的话）。下面是我的代码，下面是来自编译器（而不是链接器）的错误消息。

#include <iostream>

class A {};

class B {};

template <typename T>
class C
{
    public:
        C()
        {
            std::cout << "C constructed." << std::endl;
            std::cout << name() << std::endl;;
        }
        template constexpr const char * name();
};

template <> const char * C<A>::name() { return "You got an A."; }
template <> const char * C<B>::name() { return "You got a B."; }


int main()
{
    C<A> c_a;
    C<B> c_b;
    return 0;
}

错误消息:g++-std=c++11-o t1 t1.cpp t1.cpp:19:18:错误：在'constexpr'模板constexpr const char*name()之前需要'<'；^T1.CPP:22:26:错误：“const char*C::name()”的template-id'name<>'与任何模板声明模板<>const char*C::name()不匹配{返回“you get an a.”；}^T1.CPP:22:37:注意：看到1'template<>'，专门化一个成员函数template template需要2<>const char*c::name(){返回“you get an a”；}^T1.CPP:23:26:错误：“const char*C::name（）”的模板ID“name<>”与任何模板声明模板<>const char*C::name（）不匹配{返回“you get a b”；}^T1.CPP:23:37:注意：看到1'template<>'，专门化一个成员函数template template<>const char*c::name()需要2{返回“you got a b”；}

我搜索并发现了许多关于引发此错误消息的代码的讨论，但案例和建议似乎都不够接近，以至于没有相关性。此外，如果我不尝试从专用成员函数返回任何东西--如果它的返回类型是void，并且只是打印到cout--那么它就会像我所期望的那样工作，即，我会看到带有正确值的打印文本。

有可能做我正在努力做的事吗？如果是，怎么做？谢了！

Answer 1

为了记录在案，我找到了一个解决方案来解决我所发布的问题--即，在这里使用成员函数而不是静态（或全局）函数。

#include <iostream>

class A {};
class B {};

template <typename T>
class C
{
    template <typename U> struct type {};
    public:
        C()
        {
            std::cout << "C constructed." << std::endl;
            std::cout << name<T>() << std::endl;;
        }
        template <typename U> constexpr const char * name()
        {
            return name(type<U>());
        }


    private:
        template <typename U> constexpr const char * name(type<U>) {}
        constexpr const char * name(type<A>) { return "You got an A."; }
        constexpr const char * name(type<B>) { return "You got an B."; }
};

int main()
{
    C<A> c_a;
    C<B> c_b;
    return 0;
}