模板参数推导（在同一调用中同时使用显式和隐式参数）

Question

我有一个函数的三个模板参数，并且（我认为）编译器在推断哪个模板参数是哪个时遇到了麻烦。

模板函数是：

#include <structures/partition.h>
#include <vector>

namespace cliques
{
    template <typename P, typename T, typename QF>
    P find_optimal_partition_louvain(cliques::Graph<T> &my_graph,
                                    QF quality_function)
    {

        P dummy;

    }

}

当我尝试使用

cliques::find_optimal_partition_louvain<cliques::DisjointSetForest>(my_new_graph, cliques::find_linearised_stability(current_markov_time));

其中模板参数 P 应该对应于 cliques::DisjointSetForest 来调用它时，普通函数参数是模板化类和函数对象。

但是

error: no matching function for call to
find_optimal_partition_louvain(cliques::Graph<lemon::ListGraph>&,
cliques::find_linearised_stability)

，如果我使用内置类型（例如 int 或 float）作为 P 参数，则一切都会编译正常。

例如，

cliques::find_optimal_partition_louvain<int>(my_new_graph, cliques::find_linearised_stability(current_markov_time));

所以我的问题是我在这里做错了什么，我怎样才能更好地通知编译器哪个参数是哪个，或者我完全偏离了轨道？

Answer 1

我讨厌回答我自己的问题，但问题是 cliques::DisjointSubsetForest 实际上是一个模板类，所以

cliques::find_optimal_partition_louvain<cliques::DisjointSetForest<int> >(my_new_graph, cliques::find_linearised_stability(current_markov_time));

可以工作

Answer 2

“错误：没有匹配的函数用于调用 'find_optimal_partition_louvain(cliques::Graph&, cliques::find_linearized_stability)”

看来您的编译器认为 cliques::Graph 不是模板。

Answer 3

我尝试在一个简单的示例中重现该错误，但我未能做到这一点（在 gcc 上）。

看起来编译器确实发现 find_optimal_partition_louvain 是一个函数模板。我建议尝试以下操作：

cliques::template find_optimal_partition_louvain<cliques::DisjointSetForest>(my_new_graph, cliques::find_linearised_stability(current_markov_time));

否则，您可能想验证以下简单示例是否可以在您的编译器上正常编译（因为它应该！）：

#include <iostream>

template <class G>
struct Bar { };

namespace Foo {

template <class A, class B, class C>
A some_function(Bar<B>&, C aFunc) {
  aFunc();
  return A();
};

};

struct HWPrinter {
  HWPrinter() { std::cout << "Hello World!" << std::endl; };
};

struct IntPrinter {
  int value;
  IntPrinter(int aValue) : value(aValue) { };
  void operator() () { std::cout << "The integer is: " << value << std::endl; };
};

int main() {
  Bar<HWPrinter> ab;

  Foo::some_function<HWPrinter>(ab,IntPrinter(42));

  return 0;
};