为什么这个模板函数的string版本可以编译，而float版本不能？
这个问题涉及到模板函数的特性和C++语言的类型推导机制。模板函数是一种通用的函数定义，可以根据不同的参数类型生成对应的函数实例。在C++中，模板函数的类型推导是根据函数参数的实际类型来进行的。
对于这个问题，可能存在以下几种情况导致float版本不能编译：
- 参数类型不匹配：模板函数的参数类型可能与实际传入的参数类型不匹配。如果模板函数的参数类型是string，而实际传入的参数类型是float，就会导致编译错误。
- 编译器错误：有时候，编译器可能存在一些错误或者限制，导致float版本无法编译通过。这可能是编译器的bug，或者是编译器对于模板函数的类型推导机制的限制。
- 编译器选取最佳匹配：C++编译器在进行类型推导时，会尝试选择最佳匹配的函数实例。如果存在多个函数实例都可以匹配参数类型，编译器可能会选择其中一个，而忽略其他的函数实例。这可能导致float版本无法被选取。
综上所述，造成float版本不能编译的原因可能是参数类型不匹配、编译器错误或限制，或者编译器选择了其他函数实例。为了解决这个问题，可以尝试检查参数类型是否正确，或者尝试使用其他编译器进行编译。
相关·内容
3回答
模板函数的过载解析
c++、templates、overload-resolution
请考虑以下代码：
#include <iostream>
//Number1
template<typename T1, typename T2>
auto max (T1 a, T2 b)
{
std::cout << "auto max(T1 a, T2 b)" <<std::endl;
return b < a ? a : b;
}
//Number2
template<typename RT, typename T1, typename T2>
RT max (T1 a, T2 b)
浏览 0提问于2019-09-04得票数 14
回答已采纳
5回答
为什么不能显式指定函数参数类型中的模板参数包作为其模板参数列表
c++、templates、c++17
我有以下代码：
template <typename, typename>
struct AAA{};
template<typename ...Args>
void f(AAA<Args...> *) {}
int main() {
f<int, int>(nullptr);
}
此代码将导致编译错误。使用g++ -std=c++1z编译时，错误如下所示：
prog.cc: In function 'int main()':
prog.cc:8:24: error: no matching function for
浏览 4提问于2017-07-26得票数 40
回答已采纳
5回答
为什么编译器不能为这个简单的函数推断模板参数？
c++、templates
这是一个非常简单的模板问题(我认为对于C++大师来说很简单)，涉及到制作通用的数学函数。我有一个简单的Epsilon函数，像这样：
template<class T>
static T Epsilon()
{
return std::numeric_limits<T>::Min();
}
我想把它赋值给一些变量，比如：
float epsilon = Math::Epsilon();
，唉，我收到了一个编译错误：
错误C2783：'T Math::Epsilon(void)‘：无法推断“T”的模板参数
我可以这样分配它，没有错误：
float e
浏览 0提问于2013-10-17得票数 2
回答已采纳
2回答
GCC和clang (SFINAE)的过载解析行为差异
c++、templates、gcc、clang、overload-resolution
GCC接受以下代码：
template <typename T>
struct meta
{
typedef typename T::type type;
};
struct S {};
template <typename T>
typename meta<T>::type foo(T, S);
int foo(int, int);
int main()
{
foo(0, 0);
}
但clang拒绝了它，并显示以下错误：
test.cpp:4:22: error: type 'int' cannot b
浏览 270提问于2012-08-18得票数 21
回答已采纳
2回答
无法导出作为函数的模板参数
c++、templates、c++11、overloading、typetraits
为什么F不能用于proxy()
这应该是可能的，因为我限制它-只对返回int的函数。
#include <utility>
#include <iostream>
#include <type_traits>
using namespace std;
int foo(int bar) {
cout << "int" << endl;
return 2;
}
float foo(float bar) {
cout << "float" << endl;
浏览 2提问于2015-06-03得票数 6
回答已采纳
2回答
无参数模板参数的自动检测
c++、c++11
这是对另一个的一个分支。
我有下面的工作代码，具有预期的输出。
#include <iostream>
template <typename T>
T twice(T in)
{
return 2*in;
}
struct Foo
{
Foo operator+(int (*func)(int in)) const
{
Foo ret{data};
ret.data += func(ret.data);
return ret;
}
int data;
};
int main()
{
Foo f
浏览 1提问于2014-06-24得票数 4
回答已采纳
1回答
模板的行为正确吗？
c++、templates
template<class blah, class bleh>
blah func(bleh p)
{
// Do something
}
int main()
{
double d=1.111;
int i = func<int>(d); // #1
int j = func<int,double>(d); // #2
// ....
}
在本例中，func、#1和#2的实例都在编译，但我不确定什么是正确的，以及为什么。
有人能解释为什么#1是正确的吗?也许可以给出一些背景知识吗？
浏览 3提问于2014-11-03得票数 6
回答已采纳
2回答
在对此函数模板进行专门化时，不能省略模板参数
c++、templates、template-specialization、function-templates
在C++中，函数模板的显式专门化类似于：
template<typename T> return_type fun_name();
template<> return_type fun_name<int>(){/* blabla */}
上述示例中的<int>称为模板参数。有时<int>可能会被取消，因为编译器可以执行。
但是，我无法在下面的示例中找到失败的原因：
//-------------failed case-------------
template <typename T>
struct deduce{
浏览 2提问于2016-10-28得票数 2
回答已采纳
1回答
C++模板演绎basic_string失败
c++、templates、c++11、stdstring
我对模板有点纠结；我试图编写一个迭代字符串范围的方法，不管它们的类型或它们保存在哪个容器中。在以下代码中：
template<template<class> class ContainerType,
typename CharType>
ContainerType<basic_string<CharType>>
foo(typename ContainerType<basic_string<CharType>>::iterator begin,
typename ContainerType<
浏览 2提问于2013-12-04得票数 0
回答已采纳
3回答
为什么显式模板实例化不起作用
c++、templates
你能解释一下为什么显式模板实例化在这里不起作用吗？
template <typename T>
bool IsEqual(T v1, T v2) {
return v1 == v2;
}
template bool IsEqual<double>(double a, double b);
int main() {
int c = 4;
double d = 4.0;
IsEqual(c,d)
return 0;
}
代码产生的错误是：
note: template argument deduction/substitu
浏览 17提问于2017-08-26得票数 0
回答已采纳
3回答
隐式转换不发生
c++、templates、implicit-conversion
我问的最后一个问题是我在试图理解另一件事时偶然发现的.我也不明白(不是我的一天)。
这是一个相当长的问题陈述，但至少我希望这个问题可能证明对许多人有用，而不仅仅是我。
我的代码如下：
template <typename T> class V;
template <typename T> class S;
template <typename T>
class V
{
public:
T x;
explicit V(const T & _x)
:x(_x){}
V(const S<T> & s)
:x(s.x){}
浏览 3提问于2010-10-08得票数 7
回答已采纳
3回答
模板类型推断能考虑原始操作类型转换吗？
c++、c++11、templates、c++14、template-meta-programming
模板似乎无法键入-推断出原始操作的结果。例如，以下内容无法推导出R：
template<typename A, typename B, typename R>
R addNumbers(A x, B y){
return x + y;
}
main(){
addNumbers(1.0f, 1);
}
尽管很明显float + int = float。
在C++的任何版本中，是否有某种方法可以使推理考虑到这些信息而不显式地指定它呢？
浏览 0提问于2018-04-02得票数 0
回答已采纳
1回答
忽略函数的默认模板参数
c++、templates、default-arguments
template < class A, class B, class R = A >
void addMultiplyOperation( std::function< R ( const A&, const B& ) > func )
{
...
}
addMultiplyOperation< float, int >( []( float a, int b ) { return a * b; } );
这会导致编译器错误：
In function 'int main(int, char**)':
error: n
浏览 2提问于2014-03-01得票数 4
回答已采纳
4回答
如何编写operator==以处理隐式强制转换/构造的类型
c++、oop、templates、operator-overloading
既然有一个隐式“构造”的选项，为什么这不起作用呢？
class A {};
template<typename T>
class Type {
public:
Type() = default;
Type(T* ptr) {
}
};
template<typename T>
bool operator==(Type<T> l, Type<T> r) {
return true;
}
int main() {
A a;
Type<A> type(&a);
bool
浏览 0提问于2018-02-09得票数 14
1回答
运算符的大小是否会导致模板参数扣减？
c++、templates、sizeof
我知道sizeof运算符不会计算它的表达式参数来得到答案。但对于模板来说，它并不是不加扣除的上下文之一。因此，我想知道它是如何与模板，特别是模板参数演绎交互的。例如，以下内容取自C++模板:完整指南
template<typename T>
class IsClassT {
private:
typedef char One;
typedef struct { char a[2]; } Two;
template<typename C> static One test(int C::*);
template<type
浏览 0提问于2015-10-29得票数 4
2回答
是否可以在C++中缺少模板参数的情况下调用模板函数？
c++、class、templates、function-templates
这是一个面试问题，已经完成了。
哪一行有错误？
#include<iostream>
template<class T> void foo(T op1, T op2)
{
std::cout << "op1=" << op1 << std::endl;
std::cout << "op2=" << op2 << std::endl;
}
template<class T>
struct sum
{
浏览 0提问于2012-06-04得票数 1
回答已采纳
4回答
关于C++模板的一个问题
c++、templates
假设模板定义如下(代码无意义)：
template<class X, class Y>
bool FooBar(const Y& val) { return sizeof(X) + 4; }
我发现下面的调用代码是合法的：
float temp = 0.f;
FooBar<int>(temp);
如您所见，可以省略第二个类型参数Y。编译器通过查看Y的参数类型来推断temp的类型。
C++模板的什么规则或规范允许这样做？我很惊讶地看到了它。
浏览 1提问于2011-02-04得票数 3
回答已采纳
2回答
无歧义标识符
c++
Visual C++ 2017干净地编译以下内容，调用用户定义的log
// Source encoding: UTF-8 with BOM ∩
#include <algorithm> // std::for_each
#include <iostream>
#include <math.h> // ::(sin, cos, atan, ..., log)
#include <string> // std::string
void log( std::string const& message )
{
浏览 1提问于2018-03-21得票数 8
3回答
没有与带有常量参数的模板化函数匹配的函数调用
c++、gcc
我有一个定义如下的函数：
template < class T> T doSomething(const T value, const T value2, const T value3)
{
T temp = value;
//Do stuff
return temp ;
}
在我的main中，我将其命名为：
doSomething(12.0, 23.0f, 2.0f);
我得到一个错误，说调用doSomething(double, float, float)没有匹配的函数。
我尝试使用const_cast，但它似乎没有解决这个问题。任何帮助都将不胜感激。
浏览 0提问于2012-08-09得票数 4
回答已采纳
2回答
C++ std::find()和模板参数
c++、templates、find
在中，find方法定义为
template <class InputIterator, class T>
InputIterator find (InputIterator first, InputIterator last, const T& val);
但是，当我使用find方法时，我使用find()方法，而没有显式地描述InputIterator和T。
例如，我使用
std::vector<T> aList
...
std::list<int>::iterator pointer = std::find(aList.begin(), aList
浏览 0提问于2013-06-03得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
