问题描述
是否可以(并且是一个好主意)根据其元素的类型有条件地为某个容器类 (template<typename ThingType> class Container
) 定义方法?阅读std::enable_if
后,我最初认为这是可能的,但现在我不确定我是否理解。
下面是我的尝试(点击 here 在 ideone 上运行)。在 std::is_base_of<ThingBase,ThingType>::value
为 false
的情况下,将不会定义 p
的返回类型。我认为编译器只会在没有该方法的情况下实例化一个类的对象。但事实证明它无法编译。
还有其他工具可以完成这项工作吗?或者我应该编写两个类似 Container
的类,它们根据 ThingType
是什么而具有不同的行为?或者,这可能是一份专业化的工作。
#include <iostream>
#include <type_traits>
#include <vector>
class ThingBase {
public:
virtual void printHi() = 0;
};
class Thing : public ThingBase
{
void printHi(){
std::cout << "hi\n";
}
};
template<typename ThingType>
class Container{
private:
std::vector<ThingType> m_things;
public:
typename std::enable_if<std::is_base_of<ThingBase,ThingType>::value>::type p()
{
m_things[0].printHi();
};
};
int main() {
//Container<Thing> stuff; // works!
Container<int> stuff; // doesn't work :(
return 0;
}
编辑:
来自编译器的错误信息是
prog.cpp: In instantiation of ‘class Container<int>’:
prog.cpp:36:17: required from here
prog.cpp:26:78: error: no type named ‘type’ in ‘struct std::enable_if<false,void>’
typename std::enable_if<std::is_base_of<ThingBase,ThingType>::value>::type p()
@StoryTeller - Unslander Monica 我不打算重载这个方法。我希望它在有意义的时候可供最终用户使用。这些 p
方法中只有一个,并且应该只需要一个(相对简单的)签名。
解决方法
我不打算重载这个方法。我希望它在有意义的时候可供最终用户使用。这p个方法只会有一个,而且应该只需要一个(相对简单的)签名。
这大大简化了练习。解决方案是……不做任何特别的事情。
void p() {
m_things[0].printHi();
}
隐式实例化类模板时,只有成员函数的声明会随之实例化。在尝试使用成员之前,不会实例化定义。
所以你不需要做任何特别的事情。不能使用时使用会报错。
如果您仍然希望确保可推导性,并在这种情况下产生描述性错误,您可以在成员函数体中添加一个 static_assert
。只需对条件使用 is_base_of
测试,并添加一个漂亮的字符串来伴随它。
这是编写通用实用程序时的常用方法。另一方面,SFINAE 的主要目的是控制过载分辨率。但你不是在这里做的。