在c ++中是否可以创建返回与函数具有相同签名的仿函数的函数?
基本上,如何合法化decltype(foo) foo();
。
或使用仿函数:function<function<function<...(void)>(void)>(void)>
我想将它用于状态机,其中每个状态都是一个函数,它将一个仿函数返回到对象的下一个状态。我现在使用枚举实现它,但我觉得必须有更好的方法:
#include <iostream>
using namespace std;
enum functionenum{END,FOO,BAR,BAZ};
functionenum foo(){
cout<<"FOO! > ";
string s;
cin>>s;
if(s=="end") return END;
if(s=="bar") return BAR;
return FOO;
}
functionenum bar(){
cout<<"BAR! > ";
string s;
cin>>s;
if(s=="end") return END;
if(s=="baz") return BAZ;
return BAR;
}
functionenum baz(){
cout<<"BAZ! > ";
string s;
cin>>s;
if(s=="end") return END;
if(s=="bar") return BAR;
if(s=="foo") return FOO;
return BAZ;
}
void state(){
auto f=foo;
while(true){
switch (f()){
case FOO: f=foo; break;
case BAR: f=bar; break;
case BAZ: f=baz; break;
case END: return;
};
};
}
int main(){
state();
}
另外:是否有一种不那么笨重的方式来表达这个问题?
答案 0 :(得分:7)
您可以通过将函数包装在struct:
中来中断类型递归#include <string>
struct state
{
typedef state (*state_func)( const std::string &);
state( state_func f): function(f){} //not explicit, for notational convenience
state operator()( const std::string&arg) const
{
return function( arg);
}
private:
state_func function;
};
state f( const std::string &);
state g( const std::string &)
{
return &f;
}
state f( const std::string &)
{
return &g;
}
int main()
{
state s(&f);
s = s( "hello");
return 0;
}
更新:在Yakk的评论('使它更通用')和Luc Danton(“经典GOTW”)之后我在下面添加一个更通用的C ++ 11版本,这是基于GOTW版本
/// Type that wraps functions that return functions with the same signature.
template<typename... Arguments>
struct SelfReturningFunction
{
typedef SelfReturningFunction (*FunctionPointer)( Arguments...);
SelfReturningFunction( FunctionPointer f): function(f){}
operator FunctionPointer() const
{
return function;
}
private:
FunctionPointer function;
};
// example usage
#include <string>
using state = SelfReturningFunction<const std::string&>;
state f( const std::string &);
state g( const std::string &)
{
return &f;
}
state f( const std::string &)
{
return &g;
}
state dead_end( const std::string &)
{
return &dead_end;
}
int main()
{
state s{&f};
s = s( "hello");
return 0;
}