模板的自动返回类型和歧义
我有一个重载的模板函数: template自动overMax(T1 a，T2 b){std :: coutRT overMax(T1 a，T2 b){std :: cout
..
template-argument-deduction相关内容
当定义为模板参数时，编译器如何推断数组大小?
我想知道在下面的代码中，编译器如何从 T(& arr)[arrsize] 函数参数推导 arrsize 模板参数.例如，当我将4元素的数组传递给它时，在函数调用中未提及数字4时，它正确地将 arrsize 参数确定为4.但是，如果我传递该数组通常(不作为对数组的引用)，也就是说，如果我将 T(& arr)[arrsize] 更改为 T arr [arrsize] ，在模板参数列表中显式提供 arr
..
模板参数推导/替换失败，以lambda作为函数指针
我想知道为什么在下面的代码中，编译器无法将lambda用作函数foo()的参数(模板参数推导/替换失败)，而一个简单的函数却起作用: template void foo(int (*)(Args...)) { } int bar(int) { return 0; } int main() { //foo([](int) { return 0;
..
递归函数的返回类型推导
最近，我阅读了 Barry对这个问题的回答 template struct y_combinator { F f; // the lambda will be stored here // a forwarding operator(): template decltype(auto) operator()(Args&&... args) con
..
具有模板类型的C ++ 20指定的初始化程序
指定的初始化程序（C ++ 20）应该如何与CTAD一起使用？ 此代码在gcc9.2中可以正常工作，但在clang8中失败 > template struct my_pair { int_t首先； float_t秒； }; template
..
如果是左值，请参考;如果是右值，请进行复制，即使右值保持不变
我在move和lvalue语义上还很新。我有一种错的印象。在这里 一旦实现 FunctContainer 我想要编写的代码： std :: function f = []（double x）{return（x * x-1）; }; FunctContainer fc1 = FunctContainer（f）; FunctContainer
..
引用模板作为参数的模板参数推导
我试图深刻理解模板参数推导。 我不了解的一点是，如何应用标准 中的规则此处用于类型 A 和 P 对于以下情况（可悲的是cppreference.com上没有任何示例，请参见下面的相关部分） template void foo（T t）; void call_with_reference（int& r）{ foo（r） } P 不是参考
..
模板推导功能？
我正在尝试编写一些接受 std :: basic_string 或char数组的模板化函数， basic_string 我当前的解决方案是： #include template void foo（std :: basic_string str） { （void）str; //使用str }进行操作
..
获取函数参数类型为元组
问题 给出任何函数（或可调用）类型 Function ，我可以将其所有参数类型都作为元组类型吗？ 例如，我需要一个特征 function_traits :: arguments ，其中： int f（）; typename function_traits :: arguments // =>给我std :: tuple
..
g ++ c ++ 17类模板参数推导在特定情况下不起作用
我有以下代码： template 点燃班级{{ 公开： lit（T l）：val（l）{} T val; }; 模板 类cat { public： cat（lit T const& a，lit T const& b）：a（a），b（b）{} 点亮的T const&一种; lit const& b; }; 模
..
C ++ 17中的部分类模板参数推导
在下面的示例中，我们使用C ++ 17功能“类模板参数推导”来推断 val 的类型为 Base ： template
..
模板非类型参数推导
是否可以推断出c ++ 17函数的模板值（非类型）？ 函数foo： template int foo（） { return（I）; } 可以通过以下方式调用： foo（）; 并返回5。 模板类型可以通过函数参数的类型来推导。是否可以以某种方式对模板值执行相同操作？例如： templat
..
如何为嵌套模板类提供推导？
根据[ temp.deduct.guide/3 ]： （...）推导指南的声明范围应与相应的 相同类模板，对于成员类模板，具有 相同的访问权限。 （...） 但是下面的示例似乎未在两个 [gcc] 和 [clang] #include 模板 struct Foo { template struct Bar
..
带有类模板参数推论的完美转发
我想了解推论指南如何与通用引用和 std :: forward 一起使用，特别是创建完美的转发包装器。下面的代码提供了一种在两种情况下使用函子包装器进行实验的代码：一种具有隐式推导指南，另一种具有显式推导指南。 我放了很多& 和 std :: forward 中的注释，因为我不知道在哪里需要它们来实现完美的转发。我想知道将它们放在哪里，不需要它们。 //没有转换构造函数$ b的情况$
..
类模板的嵌套模板参数推导不起作用
在 此问题与解答 中，我编写了一个小包装程序类，该类提供了反向迭代器访问在一定范围内，依赖于类模板的c ++ 1z语言功能模板参数推导（ p0091r3 ， p0512r0 ） #include #include #include template 类别反向 { Rng const&
..
如何为通用lambda参数定义模板参数？
说明： CLion，它是标准编译器，在我编写时给我一个错误，“候选模板[被忽略]”以lambda作为参数的泛型函数的参数，该泛型函数将lambda作为参数。 此lambda采用通用类型 T 并返回另一个未知类型 A 。 我正在编写的容器类应该支持Scala中的此类功能性操作或Java Stream API中的功能性操作。 确切地说： map函数会带来很多问题。它在名为Sequ
..
类模板参数推导因派生类而失败
#include template struct mypair：std :: pair {使用std :: pair :: pair; }; int main（） { （void）std :: pair（2，3）; //可以使用 （void）mypair（2，3）; //无效 }
..
模板参数和std :: function参数的推论
假设有一个模板函数 foo（）可以接受任意数量的参数。鉴于最后一个参数始终是 std :: function ，如何实现下面所示的 foo（）模板， CbArgs 包含此 std :: function 参数的方式？ template // ^^^^^^^^^^^^ void foo（I
..
推导模板参数以获得初始值设定项列表的大小
我有以下（不可编译）代码： template void foo（std :: array） { //代码，其中使用“ N”。 } int main（） { foo（{1,2}）; } 在这里，我想传递任意数量的 int s到函数 foo -为了方便起见，我将使用 std :: initializer_list
..
当`std :: make_index_sequence`和`std :: index_sequence`用于模板参数默认类型时，g ++和clang ++的行为不同
另一个“谁在g ++和clang ++之间？” C ++标准专家的问题。 给出以下代码 ＃包括 模板 struct foo; 模板 struct foo
..