c – 在1个语句中将自定义函数作为模板参数传递

我成功地传递了一个函数作为参数.

// 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);