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

Simple template class member function specialization that returns a value

本文关键字：成员 函数 专用 简单 返回值      更新时间：2023-10-16

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

#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：错误："常量字符* C：：name(("的模板 ID "name<>"与任何模板声明都不匹配 template <> const char * C：：name(( { return "You got an A."; } ^ T1.cpp：22：37：注意：锯 1 个"模板<>"，需要 2 个来专门化成员函数模板 template <> const char * C：：name(( { return "You got an A."; } ^ t1.cpp：23：26：错误："常量字符* C：：name(("的模板 ID "name<>"与任何模板声明都不匹配 template <> const char * C：：name(( { return "You got a B."; } ^ T1.cpp：23：37：注意：锯 1 个"模板<>"，需要 2 个来专门化成员函数模板 template <> const char * C：：name(( { return "You got a B."; }

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

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

语法为：

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."; }

演示

你让它变得有点复杂。 函数声明中不需要"模板"。 它只是一个碰巧在类模板中的普通函数，您希望将其专用于某些 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;
}

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

#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;
}
相关文章：