0

我正在阅读另一篇文章Specializations only for C++ template function with enum non-type template parameter上的示例代码

我试图更进一步，通过使用重载的转换运算符来使用对象，就好像它是调用模板函数的枚举成员一样。

//in my .h
enum class AllowedTypes { Cat, Dog };

class A {
AllowedTypes animal;

public:
//constructor
A(AllowedTypes t): animal(t) {};
explicit operator AllowedTypes*() const { return (AllowedTypes*) animal; }
operator AllowedTypes() const { return animal; }
template <AllowedTypes type>
void ability() const;
}

//second class
struct B{
//tempalte function
template <AllowedTypes type>
void ability() const;
}

//in my cpp
template<>
void B::ability<AllowedTypes::Dog>() const
{
std::cout << "Dog ability." << std::endl;
}
template<>
void B::ability<AllowedTypes::Cat>() const
{
std::cout << "Cat ability." << std::endl;
}


//in my main
Class* a = new A(AllowedType(1))
Class* b = new B();

//this calls work!
b->ability<AllowedTypes::Cat>(); 

//trying to get the type and calling ability via conversion doesn't
AllowedTypes type = (AllowedTypes)*a; // this converts correctly!
b->ability<type>(); //does not call correctly

最后一行不起作用，我试图将转换后的对象放入模板中并调用特定于 A 类型的能力。我尝试了一些不同的东西，但似乎找不到我要找的东西，有没有合适的方法来做到这一点？

4

1 回答 1

2

您的代码中的问题是您试图使用运行时值而不是编译时值来设置模板类型参数。

Class* a = new A(AllowedType(1)) // The call to new here makes 'type' below a runtime value

b->ability<AllowedTypes::Cat>(); // AllowedTypes::Cat can be supplied at compile time

AllowedTypes type = (AllowedTypes)*a; // this converts correctly!
b->ability<type>(); //does not call correctly

这是您在线运行的代码，它指向了确切的问题。下次您对为什么您的模板类型没有被正确推断/抛出错误感到困惑时，请使用constexpr找出原因。

这是一个答案，解释了为什么new会导致格式错误constexpr：C++14：你可以在 constexpr 中调用 new 吗？

于 2018-11-30T03:54:54.010 回答