模板推断指南是什么，何时应该使用它们？
C++17标准引入了“模板推导指南”。我了解到它们与该标准版本中引入的构造函数的新模板参数推导有关，但我还没有看到一个简单的、FAQ风格的解释，说明它们是什么以及它们的作用。 C++17中的模板推导指南是什么？ 为什么（以及何时）我们需要它们？ 如何声明它们？
C++中的类型信息何时会向后流动？
我刚刚观看了Stephan T. Lavavej在CppCon 2018上关于“类模板参数推导”的演讲，在其中他偶然提到： 在C++中，类型信息几乎从不向后传递...我不得不说“几乎”，因为可能有一两个例外，但非常少。 尽管我试图弄清楚他可能指的是哪些情况，但我没有想出任何答案。因此，问题...
什么是非推导上下文？
我最近遇到了一个问题，就是关于为什么模板参数推导在这里不起作用的问题。答案可以总结为“这是一个无法推导的上下文”。 具体来说，第一个答案说这是一种情况，并且将其重定向到了标准的“详细信息”部分，而第二个答案引用了标准，这可以说是晦涩难懂。 有没有人能够向我这样的凡人解释一下，什么是“无法推...
为什么无法从Template<T>::Type中推导出T？
这段代码有什么问题？ #include <map> template<typename T> struct TMap { typedef std::map<T, T> Type; }; template<typename T> T ...
编写一个函数，接受一个可选项并将其转换为非可选项？
我正在尝试以单子风格的方式，对 std::optional 编写语法糖。请考虑以下内容： template<class T> void f(std::optional<T>) {} 当前函数只接受可选的T1（例如int），即使存在从T到std::optional&...
模板推导中的部分排序程序是什么？
阅读C++11标准，我无法完全理解以下声明的含义。例如将很受欢迎。 有两组类型用于确定部分排序。对于涉及的每个模板，都有原始函数类型和转换后的函数类型。[注：转换类型的创建在14.5.6.2中描述。—结束注释] 推断过程使用转换后的类型作为参数模板，并将另一个模板的原始类型作为参数模板...
模板默认参数丢失其引用类型。
考虑 #include <iostream> #include <type_traits> template <class T, class ARG_T = T&> T foo(ARG_T v){ return std::is_refer...
使用透明的std函数对象时，我们是否仍需要编写空尖括号？
使用类模板参数推导，我们可以编写： std::less Fn; 然而，G++ 8.2 拒绝了这段代码: #include <algorithm> #include <vector> #include <functional> int main() ...
基于函数返回类型的模板推导？
我希望能够使用模板推导来实现以下操作：GCPtr<A> ptr1 = GC::Allocate(); GCPtr<B> ptr2 = GC::Allocate(); 改为（我目前拥有的）：GCPtr<A> ptr1 = GC::Allocate<A&g...
为什么无法进行部分类模板参数推导？
我的理解是，类模板的模板参数推导 提案的目的是在推导上下文中使模板函数和模板类的行为更加一致。但我认为我可能误解了一些东西。 如果我们有这个模板对象： template <std::size_t S, typename T> struct test { static c...