我正在编写一个与std::function
共享几个不同功能的类(或者至少这些类在很多方面是相似的)。众所周知std::function
是通过指定模板参数(即std::function<void (std::string&)>
)来实例化的,对于我的类来说是一样的。不过我有一个例外,如果返回值为 void (std::function<"return value" ("parameters">
),我想在我的类中专门化单个函数。我需要在编译时完成此操作,但我无法使其正常工作。以下是一些测试代码以供解释:
#include <iostream>
#include <type_traits>
template <typename T> class Test { };
template <typename Ret, typename... Args>
class Test<Ret (Args...)>
{
public:
Ret operator()(Args...)
{
if(std::is_void<Ret>::value)
{
// Do something...
}
else /* Not a void function */
{
Ret returnVal;
return returnVal;
}
}
};
int main(int argc, char * argv[])
{
Test<void (char)> test;
test('k');
}
正如你清楚地看到的,如果编译器在上面的测试中没有删除"else"分支,我的代码将尝试创建一个 void 值(即 void returnVal;
)。问题是编译器没有删除分支,所以我最终得到一个编译器错误:
./test.cpp:在实例化 'Ret Test::operator()(Args ...) [与 Ret = void;Args = {char}]': ./test.cpp:27:10:从这里需要./test.cpp:18:8:错误: 变量或字段"returnVal"声明无效./test.cpp:19:11:错误: 带有值的返回语句,在函数中返回 'void' [-允许]
人们通常会将std::enable_if
与std::is_void
结合使用,问题是我不想专注于函数模板,而是专注于类模板。
template <typename Ret, typename... Args>
class Test<Ret (Args...)>
{
public:
typename std::enable_if<!std::is_void<Ret>::value, Ret>::type
Ret operator()(Args...)
{
Ret returnVal;
return returnVal;
}
typename std::enable_if<std::is_void<Ret>::value, Ret>::type
Ret operator()(Args...)
{
// It's a void function
// ...
}
};
如果我改用上面的代码,我最终会遇到更多的错误并且没有解决方案
./test.cpp:11:2: error: expected ‘;’ at end of member declaration
./test.cpp:11:2: error: declaration of ‘typename std::enable_if<(! std::is_void<_Tp>::value), Ret>::type Test<Ret(Args ...)>::Ret’
./test.cpp:6:11: error: shadows template parm ‘class Ret’
./test.cpp:11:24: error: ISO C++ forbids declaration of ‘operator()’ with no type [-fpermissive]
./test.cpp:18:2: error: expected ‘;’ at end of member declaration
./test.cpp:18:2: error: declaration of ‘typename std::enable_if<std::is_void<_Tp>::value, Ret>::type Test<Ret(Args ...)>::Ret’
./test.cpp:6:11: error: shadows template parm ‘class Ret’
./test.cpp:18:24: error: ISO C++ forbids declaration of ‘operator()’ with no type [-fpermissive]
./test.cpp:18:6: error: ‘int Test<Ret(Args ...)>::operator()(Args ...)’ cannot be overloaded
./test.cpp:11:6: error: with ‘int Test<Ret(Args ...)>::operator()(Args ...)’
./test.cpp: In member function ‘int Test<Ret(Args ...)>::operator()(Args ...)’:
./test.cpp:22:2: warning: no return statement in function returning non-void [-Wreturn-type]
./test.cpp: In instantiation of ‘int Test<Ret(Args ...)>::operator()(Args ...) [with Ret = void; Args = {char}]’:
./test.cpp:28:10: required from here
./test.cpp:13:7: error: variable or field ‘returnVal’ declared void
./test.cpp: In member function ‘int Test<Ret(Args ...)>::operator()(Args ...) [with Ret = void; Args = {char}]’:
./test.cpp:15:2: warning: control reaches end of non-void function [-Wreturn-type]
对不起,如果我只是愚蠢,答案是显而易见的。我对模板相当陌生,在任何其他线程/问题中都找不到合适的答案。
您的描述中,有一些事情并不完全清楚,所以我将从最一般的答案开始。
假设模板具有其他函数,其行为必须保持不变,并且您只想重新定义该特定函数的行为,最简单的答案是将模板一分为二,并使用继承来合并它们。此时,您可以在基本模板上使用部分模板专用化:
template <typename T, typename... Args>
struct tmpl_base {
T operator()( Args... args ) {
//generic
}
};
template <typename... Args>
struct tmpl_base<void,Args...> {
void operator()( Args... args ) {
}
};
template <typename Ret, typename... Args>
class Test<Ret (Args...)> : tmp_base<Ret,Args...> {
// do not declare/define operator(), maybe bring the definition into scope:
using tmp_base<Ret,Args...>::operator();
// Rest of the class
如果这是模板中的唯一功能,则部分专用化是一个更简单的解决方案,不需要滥用继承。
一种解决方案是部分专用于您的类模板。
#include <iostream>
#include <type_traits>
template <typename T> class Test { };
template <typename Ret, typename... Args>
class Test<Ret (Args...)>
{
public:
Ret operator()(Args...)
{
std::cout<<"non-void function"<<std::endl;
Ret returnVal;
return returnVal;
}
};
template <typename... Args>
class Test<void (Args...)>
{
public:
void operator()(Args...)
{
std::cout<<"void function"<<std::endl;
}
};
int main(int argc, char * argv[])
{
Test<void (char)> test;
test('k');
}