为什么自定义折算函数模板不能有推导出的返回类型？
自定义折算函数模板不能有推导出的返回类型是因为在编译时，编译器需要确定函数的返回类型，而推导出的返回类型可能会导致编译器无法确定具体的返回类型。
自定义折算函数模板是一种通用的函数模板，可以根据传入的参数类型进行类型推导，从而确定函数的返回类型。然而，有些情况下，函数的返回类型无法通过参数类型推导出来，这就导致了不能有推导出的返回类型。
这种情况通常发生在函数模板中使用了复杂的类型推导规则或者涉及到多个参数的组合。编译器无法在编译时确定函数的返回类型，因此会报错。
为了解决这个问题，可以使用其他方法来确定函数的返回类型，例如使用模板特化或者使用类型别名等方式来明确指定返回类型。这样可以避免编译器无法推导出返回类型的问题。
总结起来，自定义折算函数模板不能有推导出的返回类型是因为编译器无法在编译时确定函数的返回类型，需要使用其他方式来明确指定返回类型。
相关·内容
该菜单显示了TFS上的工作项列表，并在我单击"create new work item“时打开。我不知道的是不同的图标是什么意思，以及为什么前两个工作项类型有不同的图标。
我创建了您可以在那里看到的所有工作项，但我没有意识到对它们执行任何不同的操作，这些操作可能会在菜单上设置不同的图标或不同的位置。
浏览 0提问于2013-02-12得票数 0
回答已采纳
我想要一个通用的函数，它可以接受任何数据类型作为参数，并只返回该数据类型的结果。如何通过dll实现这一点。
浏览 1提问于2014-08-01得票数 0
根据戈德波特的编译器资源管理器(请参阅)，下面的代码使用GCC编译(包括10.2和主干)并输出3628800，但无法用Clang编译(都是11.0.1和主干)。在这两种情况下，都使用了-std=c++17。它还使用MSVC 19进行编译，但不使用其他编译器。为什么是这样，谁的行为是正确的？
#include <iostream>
int main()
{
std::cout << [](auto f) { return f(f); }(
[](auto& h) {
return [&h](auto n) {
浏览 3提问于2021-03-13得票数 6
回答已采纳
2回答
以下是的引文
可以在模板id中不指定尾随的函数template-argument (命名为显式函数模板专门化)，前提是可以从函数参数类型推导出it。
指示只能推导出单个尾随模板参数。这将使下列示例代码不正确：
template <typename T1, typename T2>
void f(T1, T2*);
template<>
void f(int, double*) { }
int main()
{
auto d = 2.0;
f(1, &d);
}
然而，代码与GCC和Clang一起编译得很好。这些编译器是应用了一些非
浏览 0提问于2019-06-26得票数 2
回答已采纳
我已经看过了lexical_cast.hpp的乱七八糟的东西，但我还是想不起来。
lexical_cast的“基本定义”同时接受模板源和目标，它如何能够接受诸如lexical_cast<int>("7")这样的语法？我不明白为什么它可以只需要一个模板化的返回类型，而不需要你给出参数的类型，而不需要做一些非法的事情，比如部分模板专门化。
注意:我理解如何使用单个模板类型和不同参数的重载来做到这一点，但是我不能理解lexical_cast是如何基于同时需要源和目标模板类型的模板函数的。
浏览 2提问于2011-08-21得票数 3
回答已采纳
2回答
我正在将非常古老的遗留代码从VS2008移植到VS2013。这个代码库的一部分是一个相当复杂的文件日志库，它覆盖streambuf并将它与fstream关联起来。它通过继承streambuf和fstream来实现这一点。
但是，当我尝试将生成的DLL链接到使用它的另一个DLL时，我得到：
1>syscored.lib(syscored.dll) : error LNK2005: "public: void __thiscall
std::basic_fstream<char,struct std::char_traits<char> >::close(vo
浏览 1提问于2014-09-24得票数 1
回答已采纳
我有一个Visual Studio C#解决方案，我在其中添加了一个新的解决方案配置。
当我在解决方案中创建新项目时，它们只有“调试”和“发布”配置。
为什么他们没有额外的配置？
浏览 2提问于2013-05-02得票数 11
回答已采纳
1回答
我认为模板函数可以有默认的参数(不是模板参数，而是运行时参数)。我们还可以用空括号初始化类。但是编译器如何匹配模板呢？
为什么这段代码要编译，编译器是如何进行演绎的，函数中的Args是如何调用示例的？
我所理解的是:默认括号初始化调用空构造函数，这是隐式创建的，因为没有用户定义的构造函数或用户定义的默认构造函数。也就是说，我们可以用{}..初始化任何包。所以扣减不适用于此，因为我们不能选择一个包，每个包都是候选的。可能默认的可变模板参数是<> (没有参数)。
template<typename...> class pack {};
template&l
浏览 0提问于2019-07-23得票数 2
回答已采纳
1回答
我有一个抽象基类distributions，它有两个派生类，continuous_distribution和discrete_distribution。我有一个函数make_distribution，它的unordered_map返回指向(连续)发行版的智能指针，
std::shared_ptr<continuous_distribution> make_distribution(std::tuple<std::string, float, float> DIST)
{
std::string name = std::get<0>(DIST);
浏览 2提问于2021-05-19得票数 0
回答已采纳
我运行以及正式文档，并将TypeScript添加到项目中。在执行“纱线时隙”时，发生了许多ESlint错误，例如：
App.tsx:10:14 - error TS2305: Module '"react"' has no exported member 'Node'.
10 import type {Node} from 'react';
我知道这只是TS错误，但我很困惑，为什么代码'import type {Node} from 'react';‘会产生这个错误？
tsconfig.json：
{
浏览 13提问于2021-12-13得票数 11
执行以下操作时：
std::vector<int> vec;
int number = 4;
boost::thread workerThread(&Method, number, vec)
given a method:
template<typename T>
void Method(int n, std::vector<T> & vec)
{
//does stuff
}
为什么我必须手动执行以下操作：
boost::thread workerThread(&Method, number, boost::ref(vec
浏览 0提问于2013-06-28得票数 6
回答已采纳
2回答
考虑一下：
#include<tuple>
template<int N,typename... Vs,typename... Ts>
void fog( const std::tuple<Vs...>& vs , const std::tuple<Ts...> & ts )
{
}
template<typename...Vs,typename...Ts >
int gof( const std::tuple<Vs...>& vs , const std::tuple<Ts...>
浏览 0提问于2012-08-06得票数 3
回答已采纳
1回答
我想编写一个在不同容器中搜索的通用函数。Cointainers包含指向不同类型的共享指针。现在我有这个
template<typename TInstance, typename THandle, typename TContainer>
auto FindInContainer(TContainer& container, THandle handle) -> decltype(boost::shared_ptr<TInstance>())
{
std::lock_guard<std::mutex> l
浏览 4提问于2015-12-14得票数 2
回答已采纳
2回答
两个不同视图的一个url
、、、、
我正在开发一个有两种用户类型的站点，并且项目的所有者希望在用户通过身份验证后有两个不同的主页(模板)，所以，我尝试了如下：
url
# home a
url(r'^home/$', HomeAView.as_view(), name='home-a'),
# home b
url(r'^home/$', HomeBView.as_view(), name='home-b'),
在我的log_in视图中，有些是这样的：
if user.typeUser == "HA":
print('Go to Ho
浏览 1提问于2014-10-26得票数 0
回答已采纳
我想知道是否可以编写类似此声明的内容(使用参数包)。
decltype(auto) (*funcPtr)(...);
如果可能的话，我也想知道声明这样一个指针的替代方法。
浏览 2提问于2020-02-01得票数 0
为什么下面的代码在Visual Studio 2019中编译，而不是在gcc 8.3中编译？
#include<array>
template<typename T> class myClass {
public:
template<unsigned int N> myClass(const std::array<T, N>& elems) { /* do something */ }
};
int main() {
std::array<int, 10> A;
myClass<int> Tabu
浏览 0提问于2020-03-16得票数 6
2回答
据我所知，C++核心语言目前没有提供通用功能来确定函数内部的返回值类型，例如：
auto f(std::uint8_t value)
{
double result {0.0};
// ...
auto&& tmp = static_cast<decltype(return)>(value);
// ...
return result;
}
为什么像decltype(return)这样的功能还不存在？是否有理由希望将其添加到核心语言中？
浏览 4提问于2020-11-18得票数 0
2回答
template <typename... T>
struct X {
static_assert(sizeof...(T) != 0);
};
template <typename... T>
void f(const X<T...> &) {}
template <typename T>
void inner() {}
int main() {
f(inner);
}
在本例中，静态断言触发。
为什么编译器在这里试图推断任何东西？然后它甚至试图实例化X(用空类型参数列表？.).
为什么错误不只是‘模板使用没有参数
浏览 14提问于2022-06-08得票数 3
如果我有一些使用DataContext Resharper的XAML代码，当绑定到该类中不存在的属性并作为菜单的一部分时会出现问题，您可以选择“创建属性”。
然后，Resharper在类中创建一个属性，并请求指定属性类型。
一旦提供了类型，您就可以使用tab键或按return键来创建成员，但是会留下一个NotImplementedException，并且它不会提供将属性更改为自动属性的选项。有没有可能让Resharper在这样做的时候至少创建一个auto属性？
浏览 2提问于2014-02-06得票数 4
1回答
请考虑以下几点：
template<typename Der>
struct Base {
// NOTE: if I replace the decltype(...) below with auto, code compiles
decltype(&Der::operator()) getCallOperator() const {
return &Der::operator();
}
};
struct Foo : Base<Foo> {
double operator()(int, int) co
浏览 0提问于2016-07-12得票数 39
回答已采纳
1回答
我试图在Go中做一个基本的TODO列表应用程序。我正在从mongodb地图创建集群上的CRUD操作。但我在解码BSON对象时遇到了问题。对于我的模型，我使用一个未导入的struct，但它实现了一个在回购中使用的接口。在尝试从数据库读取数据时，我会得到以下错误：
恐慌:没有为interfaces.IToDoItem找到解码器
我知道我应该以某种方式为我的接口实现一个译码器，但我无法实现它，而不从模型导出我的主结构。这也意味着我不会在模型中有隐私，模型中的项目可以在程序周围的任何模式下访问，我认为这是错误的。
这是我的代码：
model.go
type toDoItem struct{
浏览 8提问于2020-11-18得票数 1
回答已采纳
根据定义，如果不存在所需的符号，模块将不会加载(或抱怨)。我想问一下，是否有办法克服以下情况：
我有模块X，它使用来自模块Y1或Y2的符号。只有一个Y1或Y2是同时加载的。就像，对于一种系统配置，我会加载Y1，而对另一种Y2。问题是，X不会加载，因为它会抱怨其他(未加载)Y驱动程序缺少符号。
示例: Y1导出符号：EXPORT_SYMBOL_GPL(y1); Y2导出符号：EXPORT_SYMBOL_GPL(y2);
X将这样做：
if (config1)
y1(); // Available only when Y1 is loaded.
else
y2(); // Availa
浏览 2提问于2020-07-03得票数 1
回答已采纳
2回答
我发现了以下使用std::function和类型推断的行为，这对我来说是出乎意料的：
#include <functional>
template <typename T>
void stdfunc_test(std::function<T(T)> func) {};
int test_func(int arg)
{
return arg + 2;
}
int main()
{
stdfunc_test([](int _) {return _ + 2;});
stdfunc_test(test_func);
}
main中的两行
浏览 3提问于2016-08-26得票数 10
回答已采纳
为什么你不能这么做呢？
constexpr auto foo()
{
return "hello";
}
int main()
{
// char s[] = foo();
auto s2 = foo();
const char* s3 = foo();
}
S给出错误。s2和s3都很好。
我认为这是可能的，但显然不是。
是的，我已经知道你不能这么做。你们没有人解释为什么你们不能这样做。
浏览 2提问于2014-12-15得票数 1
2回答
for语句中自动变量的推导类型
、、、、
考虑到下面的代码片段：
for (auto loopcontrol = 0; loopcontrol < 10; loopcontrol++)
{
...
}
loopcontrol的类型是如何推导出来的？
在我使用的C++编译器(MicrosoftVisualStudio2017)上，它是int，但为什么不使用long？
是0的类型吗？
浏览 2提问于2018-11-29得票数 0
回答已采纳
3回答
为什么此代码无效？
auto foo = [] () {
return {1, 2};
};
但是，这是有效的，因为initializer_list只是用于初始化一个vector，而不是返回自己：
auto foo = [] () -> std::vector<int> {
return {1, 2};
};
为什么我不能返回initializer_list？可能会有用的。例如，可以用于初始化vector或list或.对某事物使用一些默认值。
浏览 6提问于2016-02-12得票数 26
回答已采纳
为什么当我从func返回时，我的COM智能指针尝试删除。我会认为它还在范围内。有什么办法可以避免这种情况吗？
这是.TLH文件中的定义
_COM_SMARTPTR_TYPEDEF(IComItem, __uuidof(IComItem));
static IComItemPtr m_pItem;
LPDISPATCH func()
{
IComItemPtr pItem = m_pItem;
pItem = pItem->GetParent(); // Returns parent as IComItemPtr
return pItem; //
浏览 3提问于2017-12-07得票数 1
回答已采纳
4回答
我惊讶地发现，在以下代码中无法成功地推导出T：
template <typename T>
void Set(T* a,T b)
{
*a = b;
}
void Test()
{
unsigned long a;
Set(&a, 1);
}
VC++抱怨不明确：
1>test.cpp(10): error C2782: 'void Set(T *,T)' : template parameter 'T' is ambiguous
1> test.cpp(32) : see declar
浏览 10提问于2015-03-25得票数 2
回答已采纳
下面的从这个中的代码中减少
template <typename T, void (*)(T), typename = void>
struct S;
template <typename T, void (*f)(T)>
struct S<T, f, void> {};
S<int const, nullptr> s;
在GCC的所有版本中，在所有的语言版本中，S的专业化都是在实例化s时选择的。
在所有版本的Clang中，但仅从C++17开始，在实例化s时选择主模板。
我认为值得注意的一点是，如果实例化在<int, nullptr
浏览 1提问于2021-03-22得票数 11
回答已采纳
什么时候应该使用这个语法：
import SomeName = require(“something”)
而不是：
import SomeName from “something”
或者：
const SomeName = require(“something”]
编辑:原谅我缺乏细节和上下文，我太快发布了这篇文章。我非常了解CommonJS和ESM，并专门寻找为什么要使用import SomeName = require(“something”)表单。我偶尔碰到它，但我自己从来没有用过。由于某些原因，很难在谷歌上找到这个问题，但我现在已经在TypeScript文档中找到了答案。
浏览 0提问于2021-06-09得票数 0
回答已采纳
假设我有一个名为Pool的容器类模板和一个名为PoolObject的抽象类
类模板Pool允许用户创建包含特定类型池对象的池。例如：
template<class T, size_t pool_size>
Pool()
{
// assert that type T is derived from PoolObject
public:
int grab(){};
void release(int object_id){};
private:
std::array<T, pool_size> po
浏览 1提问于2018-07-26得票数 1
回答已采纳
2回答
我尝试在函数参数上使用std::enable_if来触发SFINAE。编译失败，出现此错误：
type_nonsense.cpp:20:5: error: no matching function for call to 'c'
c(SOME::VALUE);
^
type_nonsense.cpp:13:6: note: candidate template ignored: couldn't infer
template argument 'T'
void c(typename std::enable_if<std:
浏览 10提问于2014-10-29得票数 2
回答已采纳
这是一个非常简单的模板问题(我认为对于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
回答已采纳
1回答
我正在为C++编译器编写一个方案(虽然Scheme与这个问题没有太大关系)，而且我有一组函数在Scheme代码中被调用，这些函数可以在生成的C++代码中等效地使用。我生成了C++函数"f“(见下文)，我无法理解为什么它不能工作(错误在下面)。我有三个模板参数，我还为函数提供了三个参数。如果你对这个问题有任何洞察力，请告诉我--真是令人难以置信的沮丧！
// from stdarg_macros.h
#include <stdarg.h>
#define INIT va_list args; va_start(args, nargs);
#define LOOP for (i
浏览 2提问于2020-08-15得票数 1
回答已采纳
1回答
案例A：
template<class T>
class A{
public:
A(T*)
{
cout<<"T*"<<endl;
}
template<class Y>
A(Y*)
{
cout<<"Y*"<<endl;
}
};
然后打电话：
A<int>p1(new int);
浏览 0提问于2018-03-03得票数 0
回答已采纳
2回答
class A
{
struct B{};
public:
static void test(A::B){}
};
struct C
{
template<class T>
operator T()
{
return T();
}
};
int main()
{
A::test(C());
}
此代码适用于clang3.7、gcc 5.1和vc++ 14.2。
两个问题，
为什么模板可以推断类型是A::B？(真聪明！)
据我所知，模板通过返回语句而不是参数来推断类型。
但是我发现了一些对N4606 12
浏览 2提问于2016-09-23得票数 8
回答已采纳
2回答
std::forward函数模板返回T&&。因此，为了将其参数作为左值引用或右值引用转发，std::forward的返回类型必须为：
T&& if T is a non-reference type (T && == T&&)
T& if T is an lvalue reference type (T& && == T&)
我的意思是std：：forward的返回类型会因为引用折叠规则而改变吗，或者解释是不同的？
std::forward的返回类型是转发(通用)引用吗？
浏览 5提问于2019-08-09得票数 1
1回答
#include <type_traits>
#include <utility>
int main()
{
auto f1 = [](auto&& e) -> auto
{
return e;
};
auto f2 = [](auto&& e) -> auto&
{
return e;
};
auto f3 = [](auto&& e) -> auto&&
{
r
浏览 0提问于2018-12-11得票数 2
回答已采纳
1回答
论gcc 4.9.0
#include <iostream>
#include <map>
struct A
{
typedef int type;
};
template<typename T> void foo(T*) { std::cout << "a" << std::endl; }
template<typename T> void foo(typename T::type*) { std::cout << "b" << std::endl; }
浏览 3提问于2015-07-13得票数 9
2回答
我一直收到错误消息“没有重载函数的实例"printArray”与参数列表匹配。有人能告诉我为什么吗?我正在尝试重载一个模板函数，以便它显示在指定位置开始和结束的数组元素。
我有我的初始模板和函数：
template< typename T >
void printArray( const T *array, int count )
以及我试图重载的函数。
template< typename T >
void printArray(int lowSubscript, int highSubscript)
我的号召是：
// display elements 1-
浏览 2提问于2012-04-18得票数 1
回答已采纳
template<typename U, typename T1, typename T2, ..., typename TN>
U & get(variant<T1, T2, ..., TN> & operand);
仅当内容是指定类型的U时，该函数才会成功。
boost::get是模板函数吗？
大多数情况下，当我们调用模板函数时，函数本身可以推断出参数类型，因此我们不必手动输入类型。
为什么在这种情况下，我们必须手动提供类型？是不是因为模板函数无法推断返回值的类型，所以我们必须为返回类型提供类型？
boost::variant<in
浏览 0提问于2012-02-07得票数 2
回答已采纳
2回答
C++模板法未知返回类型
、、、、
我遇到了一段我不遵循的代码。考虑以下两种方法。
template <typename T>
auto FindElementV1(std::vector<T> elementList, const T& element) {
return std::find(elementList.begin(), elementList.end(), element);
}
template <typename T>
auto FindElementV2(std::vector<T> elementList, const T& e
浏览 0提问于2018-09-28得票数 0
回答已采纳
比较器comp的定义如下。它在std::sort中运行良好，但无法在std::priority_queue的构造函数中编译。有什么问题吗？谢谢。
#include <vector>
#include <queue>
#include <algorithm>
using namespace std;
bool comp(int a, int b) { return a > b; }
int main()
{
vector<int> vec = {4, 2, 1, 3};
sort(vec.begin(), vec.end(
浏览 2提问于2016-05-30得票数 4
回答已采纳
#include <typeinfo>
#include <iostream>
using namespace std;
template<typename T, typename U = T> void f1(T a, U b)
{
cout<<typeid(a).name()<<endl;
cout<<typeid(b).name()<<endl;
}
int main()
{
f1<float>(1,2);
}
输出
f->为什么int不像模板实例化那样默认浮动？
浏览 6提问于2021-04-10得票数 1
回答已采纳
1回答
以下是代码：
template <typename T, int P> struct _t_test_struct{
T t;
int p=P;
};
typedef _t_test_struct<float, 6> _test_struct6;
template <typename T, typename TP, TP P, template<typename, TP> class C>
void test1(C<T,P> &x){
std::vector<T> _a;
_a.r
浏览 5提问于2018-01-15得票数 2
回答已采纳
1回答
考虑以下代码：
#include <algorithm>
#include <cstdlib>
#include <iostream>
#include <vector>
int main()
{
std::vector<int> srcVec;
for (int val = 0; val < 10; val++)
{
srcVec.push_back(val);
}
std::for_each(srcVec.begin(), srcVec.end(),
浏览 3提问于2015-03-13得票数 2
回答已采纳
为什么f的第三次函数调用没有使用函数模板？
#include <iostream>
using namespace std;
template<class T> void f(T x, T y) { cout << "Template" << endl; }
void f(int w, int z) { cout << "Non-template" << endl; }
int main() {
f( 1 , 2 );
f('a', 'b'
浏览 0提问于2019-04-28得票数 2
为什么下面的代码不编译？为什么我必须告诉编译器，传递的函数指针返回一个双值？(如果显式调用call<double>()!)
template<typename T>
void call(T (*const _pF)(void))
{
}
int main(int, char**)
{ call(
[](void) -> double
{ return 1.0;
}
);
}
浏览 6提问于2022-02-18得票数 2
回答已采纳
1回答
我刚刚编写了一个小助手函数作为std::accumulate的包装器
template <typename FwdIter> inline
auto accumulate(FwdIter begin, FwdIter end) -> std::iterator_traits<FwdIter>::value_type
{
return std::accumulate(begin, end, std::iterator_traits<FwdIter>::value_type());
}
我可能忽略了这里的一些东西。为什么这不是std::accumu
浏览 0提问于2013-09-09得票数 7
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
