2

我的目标是 c++11（使用 g++ 4.7 版）和 c++0x（使用 icpc 12.something，intel c++ 编译器）。有一天我可能会使用clang。

我有以下数据结构：

template<typename mydata_t>
struct mystruct {
    template<typename mycmp_t,
             int (*cmp)(const mydata_t &, const mycmp_t &)
             >
    void insert(const mydata_t &value, const mycmp_t &key) {
        // use key to search for where to put value, by calling
        // cmp(item_already_in_mystruct, key);
    }
};

这个想法是客户可以做

int double_double_compare_fun(const double &d1, const double &d2) { ...; }
int double_int_compare_fun(const double &d, const int &i) { ...; }
int main(void) {
    struct mystruct<double> s;
    s.insert<double, double_double_compare_fun>(4.2, 4.2);
    s.insert<int, double_int_compare_fun>(6.2, 6);
}

或者不那么傻的东西。

我目前有这个工作，它不是太疯狂。但我希望我能做得更好。

double_double_compare_fun并且double_int_compare_fun已经命名了第二个参数的类型。所以在我的脑海中，我想有一些方法可以让编译器将第一个模板参数推断为insert. 我很想能够说

s.insert<double_double_compare_fun>(4.2, 4.2);
s.insert<double_int_compare_fun>(6.2, 6);

并mycmp_t从 的签名cmp或 的类型推断key。或者，如果mycmp_t可以将第二个参数的类型默认为cmp.

我尝试了这个主题的变体，但它们没有用，但希望它能给你一些直觉：

template<template<typename mycmp_t>
         int (*cmp)(const mydata_t &, const mycmp_t &)
         >
void insert(const mydata_t &value, const mycmp_t &key);

（给我expected 'class' before '(' token, expected identifier before '(' token, expected '>' before '(' token）。我也想象过使用类似的模板，template<int (*cmp)(const mydata_t &, const mycmp_t &), typename mycmp_t>但它说mycmp_t签名中的现在还没有定义（还）等等。

4

1 回答 1

1

通常，您在惯用的 C++ 中以另一种方式传递回调：不绑定到特定类型或参数并作为普通参数：

template<class K, class F>
void insert(T const& v, K const& k, F f);

但是，要回答您的实际问题，不，您不能那样做。

于 2012-07-14T03:40:14.357 回答