为什么模板不能采用本地类型的函数？
模板不能采用本地类型的函数的原因是因为模板的目的是实现代码的复用和灵活性，而本地类型的函数在不同的环境中可能具有不同的实现和行为。如果模板中使用了本地类型的函数，那么在不同的环境中使用该模板时可能会出现兼容性问题或者无法正常工作的情况。
另外，模板通常是在一个独立的环境中进行开发和测试的，而本地类型的函数可能依赖于特定的运行环境或者外部资源，这样就会导致在模板中使用本地类型的函数时无法正确地模拟和测试。
为了解决这个问题，可以考虑使用云计算平台提供的函数计算服务。函数计算是一种无服务器的计算模型，可以将函数作为服务进行部署和调用，无需关心底层的服务器和运行环境。使用函数计算可以将本地类型的函数封装成云函数，并通过云计算平台提供的API进行调用，从而实现模板的灵活性和可移植性。
腾讯云提供了云函数（Serverless Cloud Function）服务，可以帮助开发者快速部署和运行函数。通过云函数，可以将本地类型的函数封装成云函数，并通过腾讯云的API网关进行触发和调用。腾讯云云函数支持多种编程语言，包括Node.js、Python、Java等，开发者可以根据自己的需求选择适合的语言进行开发。
更多关于腾讯云云函数的信息和产品介绍可以参考腾讯云官方文档：云函数产品介绍。
相关·内容
2回答
函数模板
、
你能帮我解释一下为什么这段代码不能编译吗？我正在尝试理解C++模板。
#include <iostream>
#include <algorithm>
#include <vector>
template <class myT>
void myfunction (myT i)
{
std::cout << ' ' << i;
}
int main ()
{
double array1[] = {1.0, 4.6, 3.5, 7.8};
std::vector<double> h
浏览 1提问于2013-03-09得票数 1
回答已采纳
1回答
所以我有一个表格类：
template <typename T, template <typename T> class Container = std::vector>
class MyArray : Container<T>
{
...
}
现在我试着实例化这个
template <typename T>
class MyClass
{
MyArray<T> array;
}
这会产生一个错误：
error: type/value mismatch at argument 2 in template paramet
浏览 0提问于2015-06-09得票数 2
回答已采纳
3回答
让我们假设我有以下类模板：
<> -读取为模板
template<template<class T> class Policy>
struct
{
};
如何(不向此<>添加额外的参数)向外部世界公开策略类型？
typedef不能工作，为什么我不能为loG写下这样的代码：
typedef Policy<T> Policy;
为什么我不能使用<< param>>中的T类型？此T类型不可访问吗？
浏览 2提问于2010-12-12得票数 2
回答已采纳
1回答
我正在阅读C++模板完整指南，并看到了这个非类型函数模板参数代码(除了函数定义和调用之外，我还添加了main()和其他部分)：
#include <vector>
#include <algorithm>
#include <iostream>
template <typename T, int value>
T add (T const & element){
return element + value;
}
int main() {
int a[] = {1,2,3,4};
int length = sizeof (
浏览 2提问于2011-07-24得票数 7
回答已采纳
3回答
在C++11中本地类的用法有什么变化吗？
在C++03中，本地类似乎不能用作模板参数(我记得)。
考虑这段代码，
template<typename T> void f(const T&) {}
//Note : S is a local class defined inside main()
int main() { struct S{}; f(S()); } //I want template argument to be deduced.
但是它给出了编译错误(C++03模式)，即()：
prog.cpp:4: error:调用‘f(main()：：s)’没有匹
浏览 7提问于2011-11-20得票数 21
回答已采纳
1回答
本地类中的成员模板
、、、
给定以下代码：
void f()
{
class A
{
template <typename T>
void g() {}
};
}
g++ 4.4 (以及g++-4.6 -std=gnu++0x)抱怨：“本地类中的成员模板声明无效”。
显然，本地类不允许有模板成员。这个限制的目的是什么？它会在C++0x中被删除吗？
注意:如果我让本地类本身成为一个模板，而不是给它一个模板成员：
void f()
{
template <typename T>
class A
{
void
浏览 8提问于2010-11-29得票数 54
回答已采纳
1回答
我试图在C++17中的类模板演绎下。
我编写了一个示例类模板，它可以在不指定模板类型的情况下构建。如果不指定类型，就不能构造std::unique_ptr。
我需要帮助来理解为什么会这样。
使用clang5.0编译的代码
// Please don't worry about memory leaks, etc. This is sample code anyways.
template<typename T, typename deleter = std::default_delete<T>>
struct Sample
{
T* x_;
deleter fu
浏览 1提问于2017-04-07得票数 0
回答已采纳
4回答
我们都知道，您可以通过在函数中定义本地结构/类来在C++98中模拟闭包。但是，有没有什么原因导致本地定义的结构不能用于实例化本地作用域之外的模板呢？
例如，能够这样做将是非常有用的：
void work(std::vector<Foo>& foo_array)
{
struct compareFoo
{
bool operator()(const Foo& f1, const Foo& f2) const
{
return f1.bar < f2.bar;
}
};
浏览 0提问于2009-09-18得票数 4
回答已采纳
我读到Scala的类型推断不是全局的，这就是为什么人们必须在方法上放置类型注释的原因。(这会是“本地”类型推断吗？)
我只略微理解了其中的原因，因为它是面向对象的，但我并不清楚。有没有关于“全局类型推断”的解释，为什么Scala不能让初学者理解？
浏览 2提问于2010-11-29得票数 13
回答已采纳
我有一个：
std::vector<std::shared_ptr<T>>
我想把它复制到
std::vector<std::shared_ptr<const T>>
现在我注意到，如果我这样做：
class A
{
public:
A(const std::vector<std::shared_ptr<int>>& list) : internalList(list.begin(), list.end()) {}
std::vector<std::shared_ptr<const in
浏览 3提问于2016-09-01得票数 7
回答已采纳
在以下内容中：
auto x = {0}; // auto deduction of std::initializer_list<int>
auto y = []() -> std::initializer_list<int> { return {0}; }(); //explicit
auto z = []() { return {0}; }(); // won't compile
为什么不能返回并自动推断std::initializer_list的类型？
浏览 1提问于2013-06-30得票数 9
回答已采纳
1回答
考虑一个示例，其中一个方法是纯虚拟的，它接受一个模板类型的参数(从外部类型注入)，该模板类型是一个本地类型(定义在函数体中)。此方案将导致g++下的编译时错误。诚然，这是一个很好的例子，但它确实起源于真正的代码。下面是一个可编译、可复制的示例：
#include <cstdio>
template<typename T>
struct Outer
{
struct InnerBase
{
virtual void foo(T const&) = 0;
virtual void bar(T const&)
浏览 1提问于2013-09-24得票数 3
回答已采纳
2回答
为什么我会得到编译错误no matching function for call to `f( __gnu_cxx::__normal_iterator > >)'
#include <vector>
template<typename T>
void f(const typename std::vector<T>::iterator &) {}
void g() {
std::vector<int> v;
f<int>(v.end()); // Compiles.
f(v.end());
浏览 1提问于2013-08-18得票数 2
回答已采纳
3回答
给出下面的工作代码。
#include <iostream>
template<class Detail>
class AbstractLogger
{
public:
static void log(const char* str) {
Detail::log_detailled(str);
}
};
class Logger : public AbstractLogger<Logger>
{
public:
static void log_detailled(const char* str) {
浏览 6提问于2012-10-12得票数 2
回答已采纳
2回答
我一直想知道为什么不能使用本地定义的类作为STL算法的谓词。
在问题：中，BubbaT提到，“因为C++标准禁止将本地类型用作参数”。
示例代码：
int main() {
int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
std::vector<int> v( array, array+10 );
struct even : public std::unary_function<int,bool>
{
bool operator()( int x ) { return !( x %
浏览 25提问于2009-04-12得票数 50
回答已采纳
2回答
struct A {};
template<typename T>
void f(int n, T m = 3.14159)
{}
int main()
{
f(8, A{}); // ok
f(8); // error: no matching function for call to 'f'
}
请参阅
为什么默认参数不能在模板函数中工作？
编辑:我也尝试过跟随，并想知道为什么它也不起作用。
void g(int, auto = 3.14159)
{}
浏览 7提问于2021-06-18得票数 2
回答已采纳
2回答
指向模板函数的空指针
、、、
假设这不是我管理的模板函数：
template<class T, class U>
U templatefunc(T t){ //(...); }
类型的模板函数可以作为默认参数的函数吗
templatefunc<int,double>
然后如何声明void指针，这样我就可以这样做：
void _new_func( const void*=&templatefunc<int,double>)
我不这么认为，因为你不能让空指针指向函数，它必须是函数指针，对吧？
以前是这样的：
void _new_func(const void* = boost::t
浏览 0提问于2013-03-05得票数 1
回答已采纳
假设我们有：
foo(A&& a);
如果你这样做了
A a;
foo(a);
它不能编译，并且抱怨不能将左值绑定到A&&。这完全没问题。
但是，考虑到std::move的签名，
template<class T> typename remove_reference<T>::type&& std::move(T&& a);
看起来它需要一个右值引用，就像在foo中一样，为什么下面的代码符合？
A a;
std::move(a);
a不是一个左值吗？
此外，据说编译器将实例化：
typename remove
浏览 0提问于2013-01-26得票数 9
回答已采纳
我想让我的类能够在std::variant中使用。
应该可以工作的简单代码是：
int main()
{
std::variant< int, A > v;
A a(1);
v = a;
}
我的类包含一个模板化的构造函数：
template <typename T> A( T& );
在这一点上，麻烦开始了！构造函数绑定到来自std::variant的调用，并且不再使用提供的A(const A&)。
出于复制和粘贴的原因，完整的示例如下：
#include <iostream>
#include <vari
浏览 3提问于2018-08-26得票数 2
回答已采纳
2回答
我试图将这个自动函数传递给另一个函数，但是显然我不能传递一个自动类型，所以我可以将它更改为任何类型才能传递它吗？通过googling，我看到你可以使用模板，但是我们还没有在我的课堂上研究过它们，所以如果有模板的话，我宁愿找一种更初学者的方法。
std::uniform_int_distribution<int> yPosition(lowBounds, 23);
auto randY = std::bind(yPosition, std::ref(engine));
void my_function(??? randY)
{
}
浏览 3提问于2015-07-30得票数 2
回答已采纳
12回答
我今天的问题很简单:为什么编译器不能从类构造函数中推断模板参数，就像从函数参数中推断模板参数一样？例如，为什么以下代码不能有效：
template <typename obj>
class Variable {
obj data;
public:
Variable(obj d) { data = d; }
};
int main() {
int num = 2;
Variable var(num); // would be equivalent to Variable<int> var(num),
return 0;
浏览 19提问于2009-06-11得票数 116
回答已采纳
Auto关键字用于根据初始化推断变量的类型。但我在互联网上看到，auto不能确定函数参数的类型。我不明白为什么auto在与函数参数一起使用时不能确定类型。请让我知道为什么auto不能与函数参数一起使用，还有任何其他情况下无法使用auto关键字来确定类型。
浏览 2提问于2017-12-30得票数 0
回答已采纳
据我所知，泛型lambda被转换为具有模板化operator()的本地作用域结构的对象。这使得一般的lambda非常强大，并且易于使用。另一方面，当结构有模板成员时，可以创建嵌套在函数中的结构，例如：
#include <iostream>
int main() {
struct inner {
template <class T>
void operator()(T &&i) { }
};
return 0;
}
或者是自己制作的模板：
int main() {
template <clas
浏览 3提问于2016-10-25得票数 34
回答已采纳
3回答
我尝试使用一个自定义类的实例作为模板参数。
class X {
public:
X() {};
};
template <class Foo, Foo foo>
struct Bar {
};
const X x;
Bar<X, x> foo;
编译器声明x不能出现在常量表达式中。为什么呢？可以在编译时构造该对象。
浏览 2提问于2010-03-26得票数 1
回答已采纳
考虑以下简单的代码片段：
static void Foo(std::string&& arg) {
printf("(universal reference) = %s\n", arg.c_str());
}
static void Foo(const std::string&& arg) {
printf("(const universal reference) = %s\n", arg.c_str());
}
static void Foo(std::string& arg) {
printf("
浏览 3提问于2015-12-28得票数 1
回答已采纳
1回答
在QtCreator change 上下文菜单中，既不能插入信号，也不能插入具有参数化参数的插槽，例如: QList等，甚至不能只引用常规类型(int、QSring等)。
为什么？
浏览 0提问于2011-04-09得票数 2
回答已采纳
我正在尝试制作一个AddInputEvent，但一个月后，我无法找到将本地“函数从FunctionCallbackInfo”(我只需要调用这个argf)转换为一个持久函数的方法，这样垃圾收集就不会删除指针。
我可以找到的大多数监视溢出线程和示例代码只需使用本地函数强制转换argf，然后将其提交给持久的。这导致了一个error: cannot convert 'v8::Local<v8::Function>' to 'v8::Function*'
这是代码，不完全确定为什么我不能转换它
class inputevnt_feld{
public:
浏览 2提问于2022-04-30得票数 0
回答已采纳
1回答
为什么这个C++11程序不能工作：
template <typename T>
void f(T t = 42) {}
int main() { f(); }
为什么不能从默认参数T 42中推断出
浏览 0提问于2014-06-09得票数 1
回答已采纳
我正在尝试将我们庞大的应用程序从angular RC4升级到带有路由器3.0.0.rc.1的RC5。我使用app.module、main.ts、routes进行了必要的更改，并将所有指令、管道和提供者都移到了app.module。还向所有http.get()添加了空体( body：'')。但是现在我遇到了一个问题，authService不能调用http.get()。这个get调用是必需的，因为这是我试图获取访问令牌和刷新令牌的地方。
由于某些原因，这只发生在authService上。每隔一次调用一次http.get()。
下面是我调用http.get()的函数
public
浏览 2提问于2016-09-30得票数 0
1回答
下面的代码是。
为什么编译器在存在显式(不是推导出的)模板参数的情况下，将第二个模板视为更好的匹配？为什么没有歧义？
如果引用C++标准，我将不胜感激。
#include <iostream>
template<class T>
struct identity
{
typedef T type;
};
template<class T>
void func(T)
{
std::cout << "func 1\n";
}
template<class T>
void func(typename id
浏览 1提问于2016-09-05得票数 7
回答已采纳
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
回答已采纳
我有一个函数需要一个std::span参数。此函数通过传递一个std::array来调用。如果将std::span参数声明为模板参数Extent设置为std::dynamic_extent，则工作正常。但是，如果函数是在Extent上模板化的，编译器就无法从std::array参数中推断出这个值。
知道为什么编译器不能推断这个模板参数吗？
请参阅下面的代码段()。
评论后的更新
当我们在调用std::span时显式创建(不指定模板参数)对象时，一切正常，编译器能够从std::array中推断出span类型和Extent。在之后，对应的构造函数(5)没有标记为explicit。
那么，为什么编译
浏览 4提问于2022-02-04得票数 0
回答已采纳
1回答
为什么C++不能确定我打算用这个语法创建一个unique_ptr<A>呢？(a以前曾被宣布为unique_ptr<A>)
a = unique_ptr(new A());
必须包含<A>似乎是非常多余的。这对于我使用的大多数函数模板都有效，为什么不使用unique_ptr呢？
编辑： C++现在支持make_unique，没有冗余。
浏览 4提问于2011-04-03得票数 5
回答已采纳
为什么编译器不将return_nothing(return_nothing())视为return_nothing(); return_nothing();，因为return_nothing()的返回类型是void
void return_nothing() {}
int main()
{
return_nothing(return_nothing()); // compile error
}
现场直播：
浏览 3提问于2015-11-26得票数 2
回答已采纳
我有一个constexpr映射，它将一些标量键与constexpr结构值相关联。
struct Foo {
constexpr Foo(int a_, char const *b_) : a(a_), b(b_) {}
int a;
char const *b;
};
constexpr const auto map = createMap<int, Foo>({
{1, Foo{1234, "first"}},
{2, Foo{5678, "second"}},
});
我想在这个结构中添加一个匿名函数。
浏览 2提问于2020-01-29得票数 0
回答已采纳
2回答
类模板部分指定
、、
以下代码编译成功，我不明白为什么：
#include <stdio.h>
#include <vector>
#include <iostream>
// Template definition
template <typename T1, typename T2> class stack
{
};
// Template specialization
template <> class stack <float, float>
{
};
int main ()
{
stack <char, char>
浏览 0提问于2011-04-02得票数 0
回答已采纳
3回答
我有以下代码示例：
template<typename T>
void print(T t) {
std::cout << t << std::endl;
}
template<typename Key, typename Value, typename F>
void traverse(std::map<Key, Value>& m, F f) {
for (auto&& [key, value] : m) {
f(value);
}
}
int main()
{
浏览 2提问于2020-09-05得票数 5
回答已采纳
2回答
我对使用带<>括号和不带括号的template的想法有点困惑。当我编译代码时，我得到了意想不到的输出，并且不知道为什么。 例如，假设我有两个函数和一个具有相同原型的template： using namespace std;
template<typename T> void copy(T a, T b)
{
cout << "template copy" << endl;
}
void copy(int a, int b)
{
cout << "int copy" <<
浏览 19提问于2021-09-09得票数 1
回答已采纳
在编译以下代码时，Visual报告：
\main.cpp(21): error C2664: 'std::_Call_wrapper<std::_Callable_pmd<int ClassA::* const ,_Arg0,false>,false> std::mem_fn<void,ClassA>(int ClassA::* const )' : cannot convert argument 1 from 'overloaded-function' to 'int ClassA::* const '
浏览 4提问于2014-09-10得票数 10
回答已采纳
1回答
我有一个函数，'T‘可以是一个队列，也可以是一个堆栈。目前我有一个函数签名：
template <class T>
void foo(T<string> baa){
//do something
}
在foo中，我想调用T.pop()，但我不能这样做。
然后我编写了两个版本的pop，一个用于队列，另一个用于堆栈。
string bar(stack<string> & baa){
string t=baa.top();
baa.pop();
return t;
}
string bar(queue<string>
浏览 0提问于2013-01-28得票数 1
回答已采纳
2回答
下面的内容看起来不像是部分的专门化(但是在模板化函数上是不可能的)。此外，函数不只是通过返回类型过载。下面的代码是怎么回事？
#include <iostream>
#include <string>
#include <vector>
template<typename T>
T foo() {
std::cout << "first";
return T();
}
template<typename T, typename U>
std::pair<T,U> foo() {
浏览 3提问于2015-07-01得票数 0
回答已采纳
我想建立自己的，但我不确定最好的方式来做。部分模板是一个模板，它只是另一个较大模板的一部分，可以随意插入到多个其他模板中。模板本身是相当基本的，只是字符串提取和连接，但是客户端的部分参数让我有点困惑。
下面是我想过的几个方法：
1，我可以编写一个javascript助手函数，通过ajax将部分加载到某种形式的本地存储中，所有需要该特定部分的后续模板都将首先在本地存储中查找。我认为这种方法不是很安全，因为本地存储并不总是有保证的。如果我不能将它们保存到本地存储中，分片就会导致过多的ajax调用。
2，我可以将它们全部放入我的主html文件中的脚本标记中。这将工作得相当好，特别是对于head.js
浏览 2提问于2011-05-07得票数 2
编译以下人为的示例：
class Base
{};
class Derived : public Base
{};
template< typename T >
class A
{};
class B
{
public:
static void f( const A< Base >& ) {}
};
int main()
{
A< Base > tb;
A< Derived > td;
B::f( tb );
B::f( td );
return 0;
}
使用g++-8会给出
浏览 1提问于2020-05-31得票数 1
回答已采纳
2回答
我们可以使用auto关键字来代替模板吗？ 考虑下面的示例： #include <iostream>
template <typename T>
T max(T x, T y) // function template for max(T, T)
{
return (x > y) ? x : y;
}
int main()
{
std::cout << max<int>(1, 2) << '\n'; // instantiates and calls function max<int&g
浏览 41提问于2021-11-05得票数 2
回答已采纳
1回答
我试图找出为什么不能将重载的操作符<<作为成员函数调用，就像我将operator+称为成员函数一样。
#include "pch.h"
#include <iostream>
using namespace std;
class A
{
int x;
public: A(int i = 0) { x = i; }
A operator+(const A& a) { return x + a.x; }
template <class T> ostream& operator<&l
浏览 0提问于2019-06-08得票数 2
回答已采纳
1回答
为什么作为非类型参数传递的参数应该是全局的而不是局部的？不是只在编译时创建和分配内存吗？
在这种情况下，p是一个常量指针，所以它不能指向任何其他变量，那么它也给出了error.Why？
template<int* ptr>
class A{};
int x;
int *const p = &x;
int main() {
x = 9;
A<&x> ob;
A<p> ob2;//giving error
cin.get();
}
另外，为什么只允许整型作为非类型参数，而不允许使用char或float？
浏览 3提问于2013-05-23得票数 4
回答已采纳
为什么你不能这么做呢？
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
1回答
提前感谢您的关注。
所以我正在处理一个来自STL的valarray，我很好奇如何使用闭包来捕获值。
为什么我不能通过引用传递值。以下面的代码为例：
#include <iostream>
#include <valarray>
#include <functional>
int main()
{
std::valarray<int>arr={1,2};
std::valarray<int>arr2;
arr2=arr.apply([](int a){return a+=2;});
/
浏览 12提问于2020-05-12得票数 0
回答已采纳
如我所知，rvalue引用不能绑定到lvalue。例如，
void func(Foo &&f) {}
int main() {
Foo f;
func(f);
}
编译器抱怨:错误:不能将‘Foo&’类型的rvalue引用绑定到‘Foo’类型的lvalue
但是，为什么rvalue引用类型的模板参数可以绑定到lvalue？例如，
template <typename T> void funcTemp(T &&arg) {}
int main() {
Foo f;
funcTemp(f);
}
编译器不会抱怨错误。为什么？
浏览 0提问于2018-04-19得票数 2
回答已采纳
我试着做这个模板实例化，但它不起作用。我发现了错误：
prog.cpp:7:15: error: template-id 'f<const A&, A()>' for 'void f()' does not match any template declaration
template <class T, T> void f() {}
struct A {};
template void f<const A &, A()>();
int main() {}
这很奇怪，因为当我主要做这件事时，它会起
浏览 1提问于2013-01-04得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
