模板成员函数的参数推导不适用于在函数内声明的类？
模板成员函数的参数推导不适用于在函数内声明的类，是因为在函数内声明的类是一个局部类，其类型在函数外部是不可见的。这意味着在函数外部无法实例化这个类，也无法调用其成员函数。因此，在函数内声明的类不适用于模板成员函数的参数推导。
如果需要使用模板成员函数的参数推导，可以将类声明在函数外部，并使用模板类来实现。例如：
template<typename T>
class MyClass {
public:
void myFunction(T t) {
// 函数实现
}
};
template<typename T>
void myFunctionWrapper(T t) {
MyClass<T> myClass;
myClass.myFunction(t);
}在这个例子中，MyClass是一个模板类，其中的成员函数myFunction可以使用参数推导。myFunctionWrapper函数是一个包装函数，用于调用MyClass的myFunction成员函数。在这个例子中，myFunctionWrapper函数也使用了模板参数推导。
推荐的腾讯云相关产品和产品介绍链接地址：
- 腾讯云云服务器：https://cloud.tencent.com/product/cvm
- 腾讯云数据库：https://cloud.tencent.com/product/cdb
- 腾讯云存储：https://cloud.tencent.com/product/cos
- 腾讯云容器服务：https://cloud.tencent.com/product/tke
- 腾讯云负载均衡：https://cloud.tencent.com/product/clb
- 腾讯云CDN：https://cloud.tencent.com/product/cdn
- 腾讯云API网关：https://cloud.tencent.com/product/apigateway
- 腾讯云云原生：https://cloud.tencent.com/product/tke
- 腾讯云物联网：https://cloud.tencent.com/product/iotcloud
- 腾讯云区块链：https://cloud.tencent.com/product/tbaa
相关·内容
在C++20标准()中加入了类类型的非类型模板参数，利用非类型模板参数的类类型占位符来声明非类型模板参数。推导出的类类型的占位符也可以用于新表达式的新类型id或类型id中的类型说明符-seq，作为显式类型转换(函数表示法)中的</e
浏览 2提问于2020-08-09得票数 0
回答已采纳
1回答
int main() { f(10); // int f(10.0F); // float我看到，在C++11标准§14.7.2(7)中，允许在显式模板专门化中推导尾随模板参数，但我无法找到标记为HERE的terser表单是否允许或如何允许。这些编译器是一致的还是这是某种扩展？
浏览 3提问于2015-09-25得票数 4
回答已采纳
1回答
调用)的这些模板参数的推导。它是：
对于在参数声明列表末尾出现的函数参数包，将对调用的每个剩余参数执行推导，将函数参数包的声明符-id的类型P作为相应的函数模板参数类型。每个扣减都会
浏览 1提问于2020-06-30得票数 3
5回答
让我举一个例子来说明我的问题：public: a():data(T()){}};a(30);因此，根据模板参数演绎规则，它应该能够生成第一个临时类，如a<int>(30)等。但我的错误是：
“(”令牌“之前缺少模板参数)
浏览 4提问于2011-08-14得票数 0
回答已采纳
2回答
我尝试在Visual 2013中编译以下程序，并得到了C2686: cannot overload static and non-static member functions错误。Visual 2013是否正确地遵循了这里的标准，还是应该与SFINAE一起在静态上超载？编辑:上面与返回类型重载的对比示例
如果没有SFINAE，您就不能在static上超载，也不能在返回类型上超载。但是，Visual 2013与SFINAE一起支持返回类型的重载。以下程序(与上面的程序相同，但删除static并更改第二个f
浏览 0提问于2015-06-26得票数 2
回答已采纳
在解析基类模板成员函数的重载过程中，我观察到了g++ (5.2.1-23)和clang (3.8.0)与-std=c++14之间的不同行为。clang d2.a(1); // fails with clang++, prints "false" with g++对Derived<true>::a的调用在note: candidate: v
浏览 3提问于2015-12-08得票数 14
回答已采纳
2回答
有没有可能以某种方式调用类方法并自动推导出模板化的参数？
我试图用一个调用私有构造函数的create class方法来创建一个对象。我这样做是为了确保在堆上分配创建的实例。这个类是模板化的，我希望用户不必知道类型(对lambdas的右值引用可能会很复杂)。下面是我想要实现的一个玩具示例(我知道构造函数在这里是公共的</e
浏览 0提问于2020-10-10得票数 0
2回答
据我所知，下面的代码应该是“不是推导出来的上下文”(或者不是？){
{ f<int, int, int>(1, 2, 3, 4);但是g++ 4.9为main中的两个
浏览 0提问于2015-05-20得票数 5
1回答
模板模板函数及参数推导
、、、、
我在模板模板和参数推导方面有问题。template<typename U, template<typename> class T>{}当然，我也可以声明lvalue引用函数，但会降低代
浏览 3提问于2012-11-30得票数 5
回答已采纳
(这个问题是评论中讨论的一个分支。)
模板类数组{ /* . */ }；模板空排序( Array & v)；//显式专门化排序(Array&) //带有推导</em
浏览 3提问于2020-04-23得票数 5
回答已采纳
有人知道为什么在定义模板方法时，返回类型需要模板参数，而参数类型不需要吗？template<typename T>不确定为什么返回类型需要模板参数，而参数类型不需要。这种行为有很好的理由吗？
浏览 4提问于2011-03-01得票数 5
回答已采纳
1回答
我只是不理解部分中的句子“如果S(f，B)和S(f，C)的声明集不同”，除了它们的类型不同之外，还有什么不同的声明，比如如果两个声明声明为相同的类型，但它们分别在不同的范围中声明，那么这两个声明是否不同include <iostream> void func(int); //#1 void func(
浏览 2提问于2020-05-03得票数 0
回答已采纳
我对下面的句子感到困惑，我理解它们用于转换成员函数的示例，但不理解构造函数成员函数模板场合。由于显式模板参数列表遵循函数模板名称，而且调用转换成员函数模板和构造函数成员函数模板时不使用函数名，因此无法为这些函数模板
浏览 1提问于2013-06-04得票数 2
回答已采纳
1回答
我尝试编写一个通过索引访问容器中的元素的类。因此，我将能够重新路由指向的容器(但这对于我当前的问题并不重要)。它将帮助我摆脱复杂的复制构造函数。这个类应该表现为一个数字(即索引)和一个指针(即它所指向的指针)。因此，我有转换。如果我有一个隐式的指针转换，我真的需要定义一个->操作符吗？是否有可能缩短paxRef<decltype(v.back()), decltype(v)>语法，是否会导致上述错误
浏览 3提问于2016-11-07得票数 0
1回答
我知道还有很多其他类似的问题，但我看过的这些问题似乎都不适用于我正在做的事情。我要说的是：void CallFn(T *p, void (T::*pfn)(void)) (p->*pfn)();使用以下方式调用：但这会给我一个错误，说编译器无法推导出指向成员函数的指针的<e
浏览 0提问于2013-06-19得票数 1
回答已采纳
1回答
我使用此方法将C++模板函数的定义与声明分开，以避免将头文件与代码混淆。 // do something// other specializations as needed
但是，如果省略尖括号中的类
浏览 0提问于2014-06-02得票数 9
回答已采纳
1回答
Generic_B是从Generic_A派生出来的。case1<Generic_B>(&Generic_B::p1);
case2<Generic_B>(&Generic_B::p1);这两个函数调用之间唯一明显的区别是，case1()有一个模板参数，而case2()没有。它们都允许您传递一个函数指针到泛型_B的父函数(即&Gener
浏览 1提问于2013-09-24得票数 2
回答已采纳
2回答
我一直在研究gcc-4.7.2中的std::function和std::bind源代码，并遇到了一些用于成员函数指针的语法，我不明白。我不明白的是_Maybe_wrap_member_pointer的专业化struct _Maybe_wrap_member_pointer<_Tp _Class::*> // note no co
浏览 2提问于2013-03-06得票数 2
回答已采纳
5回答
在模板元编程中，可以在返回类型上使用SFINAE来选择某个模板成员函数，即 int sum() const noexcept { return _data[I]; }然而，这并不适用于构造函数。假设，我想声明构造函数
tem
浏览 9提问于2013-01-30得票数 31
回答已采纳
1回答
return U{};};
static_assert(std::same_as<decltype(foo(42)), double>);foo()是在全局命名空间中声明的，具有推导的返回类型。S<U>通过朋友函数为foo()提供了一个定义，其中它返回一个类型为U的值。我所期望的是，当S被U=double实例化时，它对foo()的定义会被放到全
浏览 9提问于2022-06-13得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
