模板参数演绎的奇怪行为
是指在C++编程语言中，模板参数推导过程中出现的一些令人困惑的行为。在使用模板时，编译器会根据函数调用的参数类型来推导模板参数的类型，以确定实例化的模板函数或类。然而，由于C++模板的复杂性，有时候编译器的推导过程可能会出现一些奇怪的行为。
具体来说，模板参数演绎的奇怪行为可能包括以下几个方面：
- 模板参数推导失败：在某些情况下，编译器无法推导出模板参数的类型，导致编译错误。这通常发生在函数调用的参数类型与模板参数类型不匹配或模板参数无法从函数参数中推导出的情况下。
- 模板参数二义性：当函数调用的参数类型与多个模板函数或类的模板参数类型匹配时，编译器无法确定应该选择哪个模板进行实例化，从而导致编译错误。
- 隐式类型转换的影响：在进行模板参数推导时，编译器会考虑隐式类型转换的规则。然而，有时候隐式类型转换可能导致意外的结果，例如选择了错误的模板实例化。
- 模板参数的默认值：当模板参数具有默认值时，编译器在推导模板参数类型时会考虑这些默认值。然而，如果函数调用的参数类型与默认值不匹配，可能会导致意外的结果。
- 模板参数的依赖：在某些情况下，模板参数的类型可能依赖于其他模板参数的类型。这种依赖关系可能导致模板参数推导的复杂性和奇怪的行为。
总的来说，模板参数演绎的奇怪行为是由于C++模板的复杂性和灵活性所导致的。在使用模板时，开发者需要注意这些奇怪行为，并且在编写模板代码时尽量避免出现模板参数推导的问题。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云函数计算（云原生）：https://cloud.tencent.com/product/scf
- 腾讯云云服务器（服务器运维）：https://cloud.tencent.com/product/cvm
- 腾讯云数据库（数据库）：https://cloud.tencent.com/product/cdb
- 腾讯云音视频处理（音视频、多媒体处理）：https://cloud.tencent.com/product/mps
- 腾讯云人工智能（人工智能）：https://cloud.tencent.com/product/ai
- 腾讯云物联网（物联网）：https://cloud.tencent.com/product/iotexplorer
- 腾讯云移动开发（移动开发）：https://cloud.tencent.com/product/mobdev
- 腾讯云对象存储（存储）：https://cloud.tencent.com/product/cos
- 腾讯云区块链（区块链）：https://cloud.tencent.com/product/baas
- 腾讯云虚拟专用网络（网络通信、网络安全）：https://cloud.tencent.com/product/vpc
相关·内容
1回答
[](const int& i) { }, );//} is changed to ) 它不会编译，因为Test没有这样的构造函数，它有两个参数。
浏览 5提问于2019-03-02得票数 2
回答已采纳
2回答
众所周知，模板参数演绎发生在没有显式声明模板参数时，如现在我们可以调用foo('c')foo<int>(1)；在第一组调用中，将发生模板参数演绎。但是，在第二种情况下，在显式指定模板参数
浏览 7提问于2022-01-13得票数 1
2回答
AwesomeClassWithTwo secondObj(20);
}
我有一个类AwesomeClass 1，它接受两个模板参数V是我不想向类的用户公开的内部细节，所以我想提供别名，比如AwesomeClassWithOne和AwesomeClassWithTwo，它们只使用T作为模板参数，并且V已经绑定到某个值(在我的示例中分别是别名模板似乎适用于这个2。
浏览 3提问于2017-12-09得票数 3
回答已采纳
1回答
类模板的模板参数演绎
、、、、
我正在阅读关于类模板的模板参数演绎的论文，这里是。这个特性在C++17标准中，有些东西使我感到困惑。typename U, typename EnableIfNotT<U, T>* = nullptr>};template <typename T>
Somethi
浏览 4提问于2017-06-03得票数 5
回答已采纳
1回答
我试图编写一段代码，尝试在模板中推导出两个参数包，并想知道为什么下面的代码不能工作#pragma once
example::Foo f(T1{}, T1{});template<typename T1
浏览 1提问于2022-08-27得票数 1
回答已采纳
1回答
实现模板参数中定义的类型
、、、、
('a');
}
foo<string>();
}
看来Visual 2013可以演绎类型，以便实现模板参数中定义的类型，而不是。有什么办法可以让gcc有这样的行为吗？
浏览 0提问于2015-07-20得票数 0
回答已采纳
>的实例化中；auto:2 ={}：main.cpp:11:16: required for main.cpp:3:9: error: no for call to‘(<lambda(自动:3，.)>)(auto:3，.) const do_nothing = {}；^ main.cpp:6:29:注意:模板参数演绎/替换失败: main.cpp:3:9:注意:候选人期望一个参数，0提供函子(argument_functors().)；~^~ main.cpp:6:29:注意
浏览 3提问于2017-12-11得票数 3
回答已采纳
) { wrapper w = f; // error}
main.cpp:在函数'int ()：main.cpp:17:17: main.cpp:17:17: class模板参数推导失败:包装器w= f；// main.cpp:17:17^ main.cpp:4:8:没有调用“包装器(foo&)”的<
浏览 0提问于2017-06-18得票数 15
回答已采纳
2回答
Struct<T>);
NonVariadicFunc<int>(ConvertsToStruct{});}=> 链接
浏览 2提问于2018-02-05得票数 3
回答已采纳
std::decay在中的规范如下：
注意:这种行为类似于lvalue- to -rvalue (4.1)、数组到指针(4.2)和函数到指针(4.3)在将lvalue表达式用作rvalue时应用的转换在我看来，理想情况下，std::decay会按值对传递的参数进行建模，确切地说是，但出于某种原因，它并没有这样定义。我认为它可以用模板参数演绎来定义，在这种情况下，实现也可以被定义为利用模板参数演绎到
浏览 0提问于2015-05-24得票数 2
回答已采纳
的C++17标准(最终草案)提到了使用显式指定的模板参数列表来演绎函数模板参数：
vo
浏览 2提问于2020-01-03得票数 7
回答已采纳
1回答
，完整指南“第二版中，前面有一个关于带有注入类名的隐式演绎指南的字幕的例子。作者提到，对于注入的类名，类参数演绎被禁用，因为由于隐式演绎指南，f的返回类型将是X<Iter>。但是，我相信模板构造函数的隐式演绎指南看起来更像下面这个。template <typename T, typename Iter>
X(Iter a, Iter b) -> X
浏览 0提问于2018-07-03得票数 8
回答已采纳
2回答
在c++中迭代集
、、
当涉及到重载输出操作符时，我要么是盲目的，要么是std::set的行为与std::vector大不相同。考虑下面的代码。我的编译器(g++)给出了奇怪的错误消息，如下所示。/usr/include/c++/4.8/bits/stl_iterator.h:297:5:注意:模板参数演绎/替换失败：
因此，即使我明确地告诉您我正在使用std::set<int>，但它还是
浏览 4提问于2016-02-17得票数 1
回答已采纳
我有一个函数需要一个std::span参数。此函数通过传递一个std::array来调用。如果将std::span参数声明为模板参数Extent设置为std::dynamic_extent，则工作正常。但是，如果函数是在Extent上模板化的，编译器就无法从std::array参数中推断出这个值。请参阅下面的代码段()。评论后的更新
当我们在调用std::span时显式创建
浏览 4提问于2022-02-04得票数 0
回答已采纳
2回答
template <class...Ts, class...Us> void f(void) {};
f<int, char, float, double>();我不知道模板参数演绎如何演绎在中，我了解到参数包是贪婪的，因此Ts将匹配所有指定的参数：[ Ts = int, char, float, double ]。但是Us呢:它还没有被推导出来呢？或者在这个案子里会发生什么？在模板
浏览 8提问于2022-08-08得票数 4
回答已采纳
1回答
在Clang 6中，临时对象的模板参数演绎似乎中断了。error: expected unqualified-id表示从Clang 5 (P0091R
浏览 0提问于2018-05-21得票数 7
3回答
我理解，给定一个带括号的初始化器，auto将推断出一种std::initializer_list类型，而模板类型的演绎将失败：
如果程序有一个函数参数，而相关的参数是一个初始化程序列表(8.5.4)，但是该参数没有std::initializer_list或引用可能的cv限定的</em
浏览 1提问于2013-07-10得票数 19
2回答
考虑一下这个简单的(糟糕的)函数模板，它在这个站点上有很多不同的版本：}call_with([]{}); // (a)我不能调用(a)，因为lambda不是std>，因此模板演绎失败。直截了当。
然而，(b)也失败了。我怀疑这是因为
浏览 1提问于2015-07-15得票数 10
2回答
模板演绎与隐式构造函数
、、、
是否有方法使模板演绎与(隐式)转换一起工作？这意味着演绎可以使用向上转换执行隐式转换。因此，似乎奇怪的是，它不能使用constructor.Overloading fun进行A和B的隐式转换，但对于多个参数，有太多的A--演绎准则(template<typename T> B(A<T>)编辑:一些上下文:在我的实际代码中，A是一个(大型)容器，而B是一个轻量级的非拥有视图对象
浏览 1提问于2021-10-07得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
