候选模板被忽略:推断的类型与调整后的类型不匹配

Candidate template ignored: deduced type does not match adjusted type

本文关键字:类型 调整 不匹配 候选      更新时间:2023-10-16

boost 图库中remove_edge的函数调用存在一个非常奇怪的问题。

当我在 main 函数中调用它时,编译和运行时都可以; 但是当我在模板函数test_remove_edge中调用它时,我得到编译错误。

代码示例和编译错误消息在这里。

#include <iostream>
#include <vector>
#include <string>
#include <boost/graph/adjacency_list.hpp>
#include <boost/graph/max_cardinality_matching.hpp>
#include <boost/graph/maximum_weighted_matching.hpp>
using namespace boost;
template <typename Graph>
void test_remove_edge(const Graph& g)
{
typedef typename graph_traits<Graph>::edge_iterator edge_iterator_t;
edge_iterator_t ei, ei_end;
for (boost::tie(ei,ei_end) = edges(g); ei != ei_end; ++ei)
{
std::cout << typeid(*ei).name() << ", " << typeid(g).name() << std::endl; // exactly same with the one in main
remove_edge(*ei, g); // compile error, see message pasted below
}
}
int main(int argc, const char * argv[])
{
typedef property<edge_weight_t, float, property<edge_index_t, int>> EdgeProperty;
typedef adjacency_list<vecS, vecS, undirectedS, no_property, EdgeProperty> my_graph;
const int n_vertices = 8;
my_graph g(n_vertices);
add_edge(1,2,EdgeProperty(5),g);
add_edge(0,4,EdgeProperty(1),g);
add_edge(1,5,EdgeProperty(4),g);
add_edge(2,6,EdgeProperty(1),g);
add_edge(3,7,EdgeProperty(4),g);
typedef typename graph_traits<my_graph>::edge_iterator edge_iterator_t;
edge_iterator_t ei, ei_end;
for (boost::tie(ei,ei_end) = edges(g); ei != ei_end; ++ei)
{
std::cout << typeid(*ei).name() << ", " << typeid(g).name() << std::endl; // exactly same with the one in test_remove_edge
remove_edge(*ei, g); // compile ok, runtime ok
}
test_remove_edge(g);
return 0;
}

编译错误消息:

忽略候选模板:推导类型

'undirected_graph_helper>, boost::no_property, boost::listS>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, 提升::p罗珀蒂>, boost::no_property, boost::listS>::config> &'

的第二个参数与调整后的类型不匹配

'常量提升::adjacency_list>, boost::no_property, boost::listS>'

的参数 [与边缘Oriter = 提升::d尾::edge_desc_impl, 配置 = 提升::d尾::adj_list_gen>, boost::no_property, boost::listS>, boost::vecS, boost::vecS, boost::undirectedS, boost::no_property, 提升::p罗珀蒂>, boost::no_property, boost::listS>::config]

我确信编译器为这两种情况选择了相同的重载函数remove_edge(Xcode 告诉我)。我也知道调用remove_edge时参数类型是相同的,通过检查typeid(T).name()的输出。

感到绝望,非常感谢任何帮助!

>remove_edge修改图形,因此不能在常量引用上调用它。最简单的解决方法:

template <typename Graph> void test_remove_edge(Graph& g) {