[英]How to match empty arguments pack in variadic template
我有代码:
template<typename T>
void loadBrush_sub_impl()
{
// do some work here
}
template<typename T, typename... Targs>
void loadBrush_sub()
{
loadBrush_sub_impl<T>();
loadBrush_sub<Targs...>();
}
template<>
void loadBrush_sub<void>()
{
}
// BasicBrush, BinaryBrush, SketchBrush, BasicEraser and MaskBased are class
loadBrush_sub<BasicBrush, BinaryBrush, SketchBrush, BasicEraser, MaskBased, void>();
这在编译时是正确的。 可是,我真的要删除的void
呼叫loadBrush_sub<BasicBrush, BinaryBrush, SketchBrush, BasicEraser, MaskBased, void>();
.
然而,这会导致:
..\CanvasEngine\canvasengine.cpp: In instantiation of 'void loadBrush_sub() [with T = MaskBased; Targs = {}]':
..\CanvasEngine\canvasengine.cpp:36:5: recursively required from 'void loadBrush_sub() [with T = BinaryBrush; Targs = {SketchBrush, BasicEraser, MaskBased}]'
..\CanvasEngine\canvasengine.cpp:36:5: required from 'void loadBrush_sub() [with T = BasicBrush; Targs = {BinaryBrush, SketchBrush, BasicEraser, MaskBased}]'
..\CanvasEngine\canvasengine.cpp:114:81: required from here
..\CanvasEngine\canvasengine.cpp:36:5: error: no matching function for call to 'loadBrush_sub()'
..\CanvasEngine\canvasengine.cpp:36:5: note: candidate is:
..\CanvasEngine\canvasengine.cpp:33:6: note: template<class T, class ... Targs> void loadBrush_sub()
..\CanvasEngine\canvasengine.cpp:33:6: note: template argument deduction/substitution failed:
..\CanvasEngine\canvasengine.cpp:36:5: note: couldn't deduce template parameter 'T'
mingw32-make[1]: *** [release/canvasengine.o] Error 1
我用enable_if
了一些实验,但没有运气。
是否有任何解决方案可以删除void
并使编译器满意?
没有助手(注意“= void”):
template<typename T>
void loadBrush_sub_impl()
{
// do some work here
}
template<typename T = void, typename... Targs>
void loadBrush_sub();
template<typename T, typename... Targs>
void loadBrush_sub()
{
loadBrush_sub_impl<T>();
loadBrush_sub<Targs...>();
}
template<>
void loadBrush_sub<>()
{
}
最简单的解决方案是添加另一个间接寻址:
template<typename T>
void loadBrush_sub_impl()
{
// do some work here
}
template<typename... Targs>
void loadBrush_sub();
template<typename T, typename... V>
void loadBrush_sub_helper()
{
loadBrush_sub_impl<T>();
loadBrush_sub<V...>();
}
template<typename... Targs>
void loadBrush_sub()
{
loadBrush_sub_helper<Targs...>();
}
template<>
void loadBrush_sub<>()
{
}
您可能会专门化一个辅助结构:
#include <iostream>
namespace Detail {
template<typename T, typename... Targs>
struct LoadBrush;
template<typename T>
struct LoadBrush<T> {
static void sub() {
std::cout << "Work\n";
}
};
template<typename T, typename... Targs>
struct LoadBrush {
static void sub() {
LoadBrush<T>::sub();
LoadBrush<Targs...>::sub();
}
};
}
template<typename... Targs>
void loadBrush_sub()
{
Detail::LoadBrush<Targs...>::sub();
}
struct BasicBrush {};
struct BinaryBrush {};
struct SketchBrush {};
struct BasicEraser {};
struct MaskBased {};
int main()
{
loadBrush_sub<BasicBrush, BinaryBrush, SketchBrush, BasicEraser, MaskBased>();
return 0;
}
另一种方法是使用 SFINAE。
#include <type_traits>
template<typename T>
void loadBrush_sub_impl()
{
// do some work here
}
template<typename T>
void loadBrush_sub()
{
loadBrush_sub_impl<T>();
}
template<typename T, typename... Ts>
std::enable_if_t<(sizeof...(Ts) > 0), void>
loadBrush_sub()
{
loadBrush_sub_impl<T>();
loadBrush_sub<Ts...>();
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.