我成功地传递了一个函数作为参数.
// this is in a scope of a normal function
class DummyClass{
public: static int dummyFunction(G& goo){
return goo.doSomething (); //non-static function
//Edit 3: it calculates hash value
}
};
AMap<G,int,DummyClass::dummyFunction>map;
//... do some other thing
那些Dummy降低了代码的可读性.
我可以用更简洁的方式打电话吗？
AMap<G,[](G&goo)->int{ return goo.doSomething (); }
>map;
我试过,但编译说
expected compile-time constant expression
看起来编译器认为lambda函数不是编译时常量,但我确信它的行为是.
我已阅读How to use a lambda expression as a template parameter?,但没有解决方案可以提供1语句方式.
如果我可以称之为,我会是理想的
AMap<G,G::doSomething >map; //note that G::doSomething is non-static
编辑
这就是我宣布AMap的方式
template<class K,class T,int (* K_uniqueHash)(K&) >AMap {//<--- can be changed
private: int getIndex(K& k){
return K_uniqueHash(k); //<--- can be changed
}
//.. other function
}
您的答案也可以更改上述课程的代码.
编辑2：对AMap的任何修改都不算作额外的行,因为它是一个库.
编辑3：对不起,我的模板可能会产生误导.
地图仅使用1个函数进行散列.
template<class K,int (* K_uniqueHash)(K&) >AMap
^key ^value ^ hashing function
因此,我不希望每1键分配1个功能.
换句话说,松散地说….
AMap<K,T,k_hasher> aMap; K k1,k2; T t1,t2; aMap[ k1 ] = t1; aMap[ k2 ] =t2; // Then,these statements below will be called internally. k1.k_hasher(); k2.k_hasher(); //every k call same function "k_hasher"
解决方法
使用std :: function代替：
AMap<G,std::function<int(G&)>> m;
编辑：
您可以按如下方式更改AMap类：
template<typename K,typename T,typename F>
class AMap {
int getIndex(K& k) { return K_uniqueHash(k); }
// ...
};
假设你有一个带有成员函数栏的Foo类：
struct Foo {
int bar(G&);
};
你可以传递成员函数以及lambdas等：
AMap<G,std::function<int(G&)>> m;
auto f = [](G &i)->int { return 42; };
m[0] = f; // if your class works like a map
Foo foo;
m[2] = std::bind(&Foo::bar,&foo,std::placeholders::_1);
