未能推断出模板参数,求调试成功!

2011-04-27 09:32:52 137 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

majiayefengkuanghaha 墨衍会员 · AI 创作全网分发关注 + 加入社区

C++模板参数推导失败：从原理到实战的完整解决方案模板参数推导是C++泛型编程的核心机制，编译器根据函数调用实参自动推断模板形参类型。其工作原理基于类型匹配和SFINAE（替换失败并非错误）原则，通过推导与替换两个阶段实现类型安全。这一机制的技术价值在于提升代码复用性和表达力，是STL和现代C++特性的基础。在实际开发中，模板参数推导失败常见于类型不匹配、嵌套类型访问、类模板推导等场景，尤其在使用STL容器和设计泛型接口时频繁出现。理解推导失败与替换失败的区别，掌握SFINAE和C++20概念等解决方案，能有效解决编译错误并设计更健壮的泛型代码。阅读详情

#include <iostream>
#include <vector>
#include <functional>
#include <string>

using namespace std;

class A
{
public:
string name;
void print(ostream& out) const
{
out << name << endl;
}
};

ostream& operator<<(ostream& out, const A& a)
{
a.print(out);
return out;
}

template <typename T, typename T1>
const T& findMax(const vector<T> & a, T1 b = less<T1>)
{
int maxIndex = 0;
for(int i = 1; i != a.size(); ++i)
{
if(b(a[maxIndex], a[i]))
{
maxIndex = i;
}
}
return a[maxIndex];
}

class B
{
public:
bool operator()(const string& a, const string& b) const
{
return _stricmp(a.c_str(), b.c_str()) < 0;
}
};

int main()
{
vector<A> a(3);
a[0].name = "A";
a[1].name = "a";
a[2].name = "c";
cout << findMax(a) << endl;
cout << findMax(a,B()) << endl;
}

...全文