它编译并且它是如此丑陋,以便能够保持最小,因为问题不是成语本身.
struct Foo {
virtual void fn() = 0;
};
template<class T>
struct Bar: public Foo {
void fn() override {
T{}.fn();
}
};
struct S {
void fn() { }
};
int main() {
Foo *foo = new Bar<S>{};
foo->fn();
}
我一小时前所遇到的是如何改变它(或者甚至,如果存在替代习语)来引入可变参数模板成员方法.
显然,我不能修改Foo类的fn函数,因为它是虚拟的,虚拟说明符不与模板一起使用.这对于Bar的fn规范是有效的,因为它必须以某种方式覆盖基类中的那个.
注意.
因为我强烈怀疑这个问题可能是有史以来最伟大的XY问题之一,我还想简要介绍一下实际问题.
我有一个暴露两个模板化成员方法的类：
>第一个接受不立即使用的模板类T,而是应该以某种方式存储以便以后使用.
>第二个接受可变数量的参数(它实际上是一个可变参数模板成员函数),并且这些参数应该完美地转发到新创建的T实例.
嗯,问题要复杂得多,但这是一个很好的近似,应该让你知道目标是什么.
编辑
我猜它在某种程度上类似于高阶函数.
我的意思是,解决这个问题的确是一个模板化的函数来绑定第一个参数,但据我所知,这是不可能的,以及我迄今为止探索过的任何其他方法.
任何表达相同概念的可行解决方案？
解决方法
template<typename T> class Factory {
public:
template<typename ...Args>
auto construct(Args && ...args)
{
return T(std::forward<Args>(args)...);
}
};
所以现在,你的第一个暴露类方法将是这样的：
template<typename T>
auto getFactory() {
return Factory<T>();
}
所以：
auto factory=object.getFactory<someClass>();
// Then later:
factory.construct(std::string("Foo"),bar()); // And so on...
您也可以使用operator()代替construct(),因此第二部分变为：
factory(std::string("Foo"),bar()); // And so on...
正如我所提到的,这不是真正的类型擦除.你不能在这里使用类型擦除.
在考虑了这几分钟之后,这里不能使用类型擦除的原因是因为类型擦除的给定实例必须是“自包含”或原子,并且你需要做的是将原子类型擦除分解为在你的情况下,两个部分,或两个类方法.
那不行.根据定义,类型擦除采用一种类型并“擦除”它.一旦你的第一个函数类型 – 擦除它的类方法模板参数,你最终得到的是某种不透明的,类型擦除的对象.外部世界不再提供类型擦除的内容.但是你仍然没有对你的构造函数参数进行类型擦除,这些参数发生在其他地方.
您可以一起键入 – 擦除模板类和构造函数参数.您不能单独键入 – 擦除模板类和构造函数参数,然后以某种方式再次键入 – 擦除结果.
简单的基于工厂的方法,就像我所概述的那样,如果你想要的类型擦除的两半都出现在相同的范围内,那么你可以获得与类型擦除相似的结果,所以你实际上可以避免类型擦除,而是依赖于编译器生成的膨胀.
