返回值的简单模板类成员函数特化-Java 学习之路

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

#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（）'的模板ID'名称<>'与任何模板声明模板<> const char * C :: name（）{不匹配返回“你有一个A.”; } ^ t1.cpp：22：37：注意：看到1'模板<>'，需要2来专门化成员函数模板模板<> const char * C :: name（）{return“你有一个A.”; } ^ t1.cpp：23：26：错误：'const char * C :: name（）'的模板ID'名称<>'与任何模板声明模板<> const char * C :: name（）不匹配{返回“你有一个B.”; } ^ t1.cpp：23：37：注意：看到1'模板<>'，需要2来专门化成员函数模板模板<> const char * C :: name（）{return“你有一个B.”; }

我搜索并发现许多关于代码的讨论引发了这个错误消息，但是案例和建议似乎都不够接近并且没有相关性 . 另外，如果我不尝试从专用成员函数返回任何内容 - 如果它具有返回类型 void 并且只是打印到 cout - 然后它按照我的预期工作，即，我看到具有正确值的打印文本 .

有可能做我想做的事吗？如果是这样，怎么样？谢谢！

3 回答

语法是：

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

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

Demo

回复于 2024-04-27T07:12:40+08:00

你有点复杂了 . 函数声明中不需要“模板” . 它只是一个普通的函数，恰好位于类模板中，并且您想要将它专门化为某些T . 这是一种方法：

#include <iostream>

class A {};
class B {};

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

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

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

回复于 2024-04-27T07:12:40+08:00

为了记录，我找到了我发布的确切问题的解决方案 - 即，使用成员函数而不是静态（或全局）函数，here .

#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;
}

回复于 2024-04-27T07:12:40+08:00

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

3 回答

相关问题