假设我有一个基类,这个基类以后可能通过派生得到“扩展”,让我们调用这个类Base和扩展Derived。类的模板签名是固定的,不能更改(即。我们不能将模板参数更改为类)。Derived类的作者对Base一无所知,只知道它可能会给构造函数取一些参数。
但是,最终派生类的调用方知道应该传递多少参数。如何编写这个Derived扩展?以下是我所拥有的:
struct Base
{
Base(int baseArg) {}
};
struct Derived : public Base
{
template <typename... Args>
Derived(Args&&... args, int derivedArg)
:
Base(std::forward<Args>(args)...)
{
}
};当我尝试使用运行这个使用Derived d(1, 1);时,我会得到以下erorr消息:
prog.cpp: In function 'int main()':
prog.cpp:19:16: error: no matching function for call to 'Derived::Derived(int, int)'
Derived d(1, 1);
^
prog.cpp:19:16: note: candidates are:
prog.cpp:11:2: note: template<class ... Args> Derived::Derived(Args&& ..., int)
Derived(Args&&... args, int myArg)
^
prog.cpp:11:2: note: template argument deduction/substitution failed:
prog.cpp:19:16: note: candidate expects 1 argument, 2 provided
Derived d(1, 1);
^
prog.cpp:8:8: note: constexpr Derived::Derived(const Derived&)
struct Derived : public Base
^
prog.cpp:8:8: note: candidate expects 1 argument, 2 provided
prog.cpp:8:8: note: constexpr Derived::Derived(Derived&&)
prog.cpp:8:8: note: candidate expects 1 argument, 2 providedDerived的构造函数应该使用2个参数,使用第一个参数来构造自身,并将第二个参数传递给基类。为什么这个不行?
发布于 2015-02-03 03:53:45
nth获取某些参数的第n个元素:
template<size_t n, class...Args>
auto nth( Args&&... args )
->typename std::tuple_element<n,std::tuple<Args&&...>>::type
{
return std::get<n>( std::forward_as_tuple(std::forward<Args>(args)...) );
}这将使用上面的方法提取最后一个参数,并将它们发送到适当的位置:
struct Derived : public Base {
struct tag{};
template <typename... Args>
Derived(Args&&... args) : Derived(
tag{},
std::make_index_sequence<sizeof...(Args)-1>{},
std::forward<Args>(args)...
){}
template<size_t...Is, class...Args>
Derived(tag, std::index_sequence<Is...>, Args&&...args ):
Base(nth<Is>(std::forward<Args>(args)...)...)
{
int derivedArg = nth<sizeof...(Args)-1>(std::forward<Args>(args)...);
}
};我们为第一个n-1元素构建一个序列,将它们传递给基本元素,并为自己存储最后一个元素。
然而,如果你把额外的论点放在第一位,那就容易多了。
https://stackoverflow.com/questions/28290792
复制相似问题