如何在不使用 C++0x auto 的情况下实现这种类型特定的对象生成器

Question

我有一个模板化函数，其中模板化参数是一个函子。我想生成一些特定于特定质量函数的内部变量，供从此函子调用的其他模板函数使用。所以我尝试了 auto 关键字，它似乎可以工作，

template<typename QF>
float find_optimal_partition_louvain_with_gain(QF quality_function) {
    auto internal_variables = gen(quality_function);
    float result = do_some_work(internal_variables);
    ...
    return result;
}

struct internals_for_linearised_functor {
    double x;
};

internals_for_linearised_functor gen(mynamespace::linearised_function &f) {
    linearised_internals internals;
    internals.x = 5;
    return internals;
}

使用 auto 似乎编译得很好，这令人高兴。我想尝试保持在当前标准范围内，以使我的代码更加可移植。有没有办法使用当前标准来处理这个问题，或者这是 BOOST_AUTO 能够处理的事情？我试图实现的一般功能是根据模板化参数的类型生成一个对象，而不实际将新对象的类型传递到函数中（即推断它）

谢谢

Answer 1

这应该是开箱即用的：

template<typename QF>
float find_optimal_partition_louvain_with_gain(QF quality_function) {
    return do_some_work(gen(quality_function));
}

如果您需要 internal_variables 的存在时间比仅一次调用的时间长，您可以使用另一个小函数来推断类型：

template<typename QF, typename T>
float find_optimal_partition_louvain_with_gain_detail(QF quality_function, T internal) {
    float result = do_some_work(internal);
    /* use internal and quality_function again here!.*/
    return result;
}


template<typename QF>
float find_optimal_partition_louvain_with_gain(QF quality_function) {
    return find_optimal_partition_louvain_with_gain_detail(
      quality_function,
      gen(quality_function)
    );
}

希望这会有所帮助！

Answer 2

如果您不想在这种情况下使用 auto，则需要使用某种元函数（可能是函数特征）来获取 gen< 的返回类型/代码>。

Boost 具有函数特征，或者您可以专门为您的 QF 类型实现一个特征类。如果它是标准函数对象类型，它应该有一个 result_type typedef，您可以使用 typedef typename QF::result_type result_type 获得它

Answer 3

您可以将 gen() 作为静态方法包装在结构中，然后替换 internal_variables 吗？请参阅以下修改后的代码。

struct Generate
{
  static internals_for_linearised_functor s_Internals; // define somewhere
  static void gen(mynamespace::linearised_function &f)
  {
    linearised_internals internals;
    internals.x = 5;
    s_Internals = internals;
  }
 };

现在，在函数 find_optimal_partition_louvain_with_gain 中，您可以首先调用 Generate::gen()，然后使用 Generate::s_Internals 代替 内部变量。

这似乎是避免了解 auto 类型的更简单方法。
此外，如果需要，您可以将 Generate 设置为 template。
对于上面代码中的线程安全，我们也可以在没有static的情况下实现。