在初始化时定义了具有不同行为的C++成员函数

C++ member functions with different behavior defined at initialization

本文关键字:C++ 函数 成员 初始化 定义      更新时间:2023-10-16

假设我有一个类,比如:

template<class TYPE>
class RandomAccessBox {
//...
public:
void insert (TYPE x){
//insert something into the box
}
int size(){
//return number of elements in the box
}
TYPE randomaccess(){
//return random object in the box
}
TYPE deletelast(){
//delete last item accessed from the box
}
};

我有一个到处都使用RandomAccessBox的程序。

现在假设我想要一些运行时专门化。也就是说,当初始化我的RandomAccessBox时,我想把它设置为类型1或类型2(比如说,类型永远不会改变)。两种类型的函数和类成员都是相同的,但我希望能够根据类型简单地更改函数的行为。(例如,也许我想改变事物的存储和随机访问方式)。

重点是,我不想让其余的代码关心我有哪种类型的RandomAccessBox,因为面向公共的函数和成员是相同的,并且这两种类型的使用方式是相同的。

特别是,我希望能够拥有像这样的功能

void statisticsonbox(RandomAccessBox mybox){
//do some stuff with mybox
}

它们与mybox的类型无关。

显然,我可以有一个内部变量来存储类型,然后根据这个变量的状态来设置每个函数用例。不过,这个RandomAccessBox是"内部循环",所以任何与之相关的惩罚都是个问题。(也许现实地说,用现代处理器这样的外壳基本上没有惩罚?)

我也可以使用函数指针。

还有其他方法可以做到这一点吗?

这个RandomAccessBox"在内部循环中",所以任何惩罚与此相关的是一个问题。(也许现实地说在现代处理器中使用这样的外壳基本上不会受到惩罚?)

您需要对依赖于RandomAccessBox的整个代码部分使用模板。F.e.:

template <class TYPE>
void statisticsonbox(RandomAccessBox<TYPE> mybox){
//do some stuff with mybox
}

否则,您将不得不以某种方式确定每次迭代的行为(使用虚拟方法、类型确定和分支等),这将不可避免地导致性能损失(如果这在您的情况下非常重要)。这样的方法可能会导致问题——增加编译时间、输出文件大小、将代码的很大一部分更改为使用模板。您需要将类型相关部分和独立部分分开,并选择最佳比例。