开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

当使用debug_rep(&s)调用template <typename T> string debug_rep(T p)时，为什么T不是string

当使用debug_rep(&s)调用template <typename T> string debug_rep(T *p)时，为什么T不是string*？

在这个调用中，&s是一个指向string对象s的指针，而不是一个指向指针的指针。因此，T被推导为string，而不是string*。

模板函数debug_rep的定义中，T是一个模板参数，它可以代表任意类型。当我们调用debug_rep(&s)时，编译器会尝试推导出T的具体类型。根据C++的类型推导规则，如果传入的实参是一个指针，那么推导出的类型将是指针所指向的类型，而不是指针本身的类型。

因此，T被推导为string，而不是string*。这意味着在debug_rep函数中，p的类型将是string*，而不是string**。

这个问题的答案可以总结如下：

当使用debug_rep(&s)调用template <typename T> string debug_rep(T *p)时，T不是string*，而是string。
这是因为&s是一个指向string对象s的指针，而不是一个指向指针的指针。
根据C++的类型推导规则，当传入的实参是一个指针时，推导出的类型将是指针所指向的类型，而不是指针本身的类型。

腾讯云相关产品和产品介绍链接地址：

腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
腾讯云云数据库 MySQL 版：https://cloud.tencent.com/product/cdb_mysql
腾讯云云原生容器服务（TKE）：https://cloud.tencent.com/product/tke
腾讯云人工智能：https://cloud.tencent.com/product/ai
腾讯云物联网平台：https://cloud.tencent.com/product/iotexplorer
腾讯云移动应用分析（MTA）：https://cloud.tencent.com/product/mta
腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
腾讯云区块链服务（BCS）：https://cloud.tencent.com/product/bcs
腾讯云元宇宙：https://cloud.tencent.com/product/mu

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

C++:19---重载与模板、模板特例化

(包括指针类型)，debug_rep(T*)只适用于指针类型，因此第二版本更适合当有多个重载模板对一个调用提供同样好的匹配时，应选择最特例化的版本。...因此当存在多个同样好的函数模板时，编译器选择最特例化的版本，一个非模板函数比一个函数模板更好 std::string s("hi");std::cout string debug_rep(const T &t);template string debug_rep(T *p);//为了使debug_rep...return debug_rep(string(p));} 通常，如果使用了一个忘记声明的函数，代码将编译失败，但对于重载函数模板的函数而言，则不是这样。...为了指出我们正在实例化一个模板，应使用关键字template后跟一个空尖括号对 templateint compare(const T&, const T&);template

1.4K2 0

第 16 章模板与泛型编程

; ret << t; return ret.str(); } // 通用模板，返回 T型指针 p的 string表示 template string debug_rep...string s("hi"); cout << debug_rep(s) << endl; // 对于下面的代码调用，最终会调用第二个模板，具体原因见下面第 2条。...(const string &s) { cout << '"' + s + '"'; } // 对于下面的代码调用，会使用普通非模板函数 cout << debug_rep(s) << endl;...cout << debug_rep("hi") << endl; 对于第一个模板参数 const T &t，当实例化 string *参数时，模板参数是 string *，而函数参数是 string...template string debug_rep(const T &t); template string debug_rep(T *p); //

1.5K2 0

第 16 章模板与泛型编程

; ret << t; return ret.str(); } // 通用模板，返回 T型指针 p的 string表示 template string debug_rep...string s("hi"); cout << debug_rep(s) << endl; // 对于下面的代码调用，最终会调用第二个模板，具体原因见下面第 2条。...(const string &s) { cout << '"' + s + '"'; } // 对于下面的代码调用，会使用普通非模板函数 cout << debug_rep(s) << endl;...cout << debug_rep("hi") << endl; 对于第一个模板参数 const T &t，当实例化 string *参数时，模板参数是 string *，而函数参数是 string...template string debug_rep(const T &t); template string debug_rep(T *p); //

1.4K6 0

《C++Primer》第十六章模板与泛型编程

:string &msg) const; }; 2.2 实例化类模板当使用一个类模板时，我们必须提供额外信息，即显式模板实参explicit template argument，编译器使用这些模板实参来实例化出特定的类...对于模板代码来说就不是这么简单，假定T是一个模板类型参数，当编译器遇到T::mem代码时，它在实例化之前不知道mem是一个类型成员还是一个static数据成员。...当函数参数本身是const时，T的类型推断的结果不会是一个const，const已经是函数参数类型的一部分，因此它不会也是模板参数类型的一部分： template void f2...(s) << endl; // 如果用指针调用, 则两个版本都是可行的 cout << debug_rep(&s) << endl; // 第一个版本的T被绑定到string*, 实例化debug_rep...debug_rep，然后调用print打印结果的string： // 在print调用中对每个实参调用debug_rep template <typename...

1.9K1 0

C++ 学习笔记

template auto sum(T ...s) { return (... + s); // ((s1+s2)+s3)... } 4.3 可变参数模板的使用 4.4...hello"); s1.get(); // "hello" s1.get(); // false } 3.当通过依赖于模板参数的对象通过.调用函数模板时，需要通过 template...template void passR(T &&t) { T x; } std::string s("Sjx"); passR(s); // error... T 推断为string &，初始化时必须绑定到对象 7.3 使用 std::ref()和 std::cref() 1.c++11 开始，若模板参数定义为按值传递时，调用者可以通过 std::cref...} 8.4 SFINAE（替换失败不是错误） SFINAE:当函数调用的备选方案中出现函数模板时，编译器根据函数参数确定(替换）函数模板的参数类型及返回类型，最后评估替换后函数的匹配程度。

6.7K6 3

C++ Template 基础篇（一）：函数模板

Template 基础篇-函数模板 为什么要有泛型编程函数模板定义普通函数模板成员函数模板 为什么成员函数模板不能是虚函数virtual 实参推断如何使用当返回值类型也是参数时实参推断时的自动类型转换...; } }; Printer p; p.print("abc"); //打印abc 为什么成员函数模板不能是虚函数(virtual)？...int (*pf) (const int&, const int&) = compare; //推断T的类型为int 当返回值类型也是参数时当一个模板函数的返回值类型需要用另外一个模板参数表示时，你无法利用实参推断获取全部的类型参数...; func(i); //调用通用版本，其他函数或者无法实例化或者不匹配 func(&i); //调用指针版本，通用版本虽然也可以用，但是编译器选择最特殊的版本 string s = "abc"; func...(&s); //调用普通函数，通用版本和特殊版本虽然也都可以用，但是编译器选择最特化的版本 func(&s); //调用指针版本，通过告诉编译器我们需要用template而不是普通函数模板函数特化

1.7K2 0

C++:20---类模板(template)

//类外定义template T Blob::func(T const &str){ } 类模板中使用其它模板类型 template class...Blob{ template Blob(It b, It e);//构造函数的参数使用其它模板类型}; template template <typename...所以模板来的static变量也要在类外初始化，初始化时需要加上模板参数列表，例如下面代码，当一个特定的模板实例化Foo时，其ctr被初始化为0 template std::size_t...，因此产生二义性T::size_type * p; 默认情况下，C++语言假定通过作用域运算符访问的名字不是数据类型，而是数据成员。...(std::ostream &s=std::cerr):os(s){} //构造函数 //根据传入的参数进行deletetemplate void operator()(T*

1.2K2 0

C++:18---函数模板(template)

一、模板的定义 template 以关键字template开头，后面跟一个模板参数列表，列表里面用逗号将多个模板参数隔开定义的注意事项模板的编译当编译器遇到一个模板定义时，...只有当实例化处模板的一个特定版本时，编译器才会生成代码重点：通常，当我们调用一个函数/定义实例化一个类时，编译器只需掌握函数的声明/类的声明即可，因此可以把函数/类的声明放置在头文件，而把函数/类的定义放置在源文件中...return strcmp(p1, p2);}int main(){compare("hi","mom");//编译器会使用字面值常量的大小来代替N和Mreturn 0;} 五、inline、constexpr...则代码的行为是未定义的 template int compare(const T& s1, const T& s2){if (v1 ...v2)return 1;return 0;} 下面我们编写了这个函数模板，也可以用于传入指针也可以正常使用的函数模板（但是还不是最完美的，所以在定义时，要考虑各种因素而达到更高的标准） template

1.1K5 0

c++:改造cmdline用于MSVC下的命令行参数解析

，关于如何使用它，不是本文讨论的重点，本文要说的是如何解决cmdline在MSVC下不能编译的问题。... std::string readable_typename() // 获取类型T名称 { return demangle(typeid(T).name());// 调用demangle...上面这个demangle函数中调用的abi::__cxa_demangle的作用就是将编译器内部使用的名字反向转换(demangle)为源代码中定义的名字。... #endif 2.修改demangle函数，当编译器为MSVC时直接将输入参数返回 static inline std::string demangle(const std::string...name; // 为MSVC编译器时直接返回name #elif defined(__GNUC__) // 为gcc编译器时还调用原来的代码 int status=0; char *p=

2.3K2 0

c++模板与泛型编程

(p1, p2); } 调用compare("hi", "mom");时实例化（编译器会在一个字符串字面常量的末尾插入一个空字符作为终结符）： int compare(const char (&p1)[... using twin = pair; twin authors; // authors is a pair template...当两个或多个独立编译的源文件使用了相同的模板，并提供了相同的模板参数时，每个文件中就都会有该模板的一个实例。在新标准中，可以通过显式实例化来避免这种开销。...1.6 效率与灵活性 unique_ptr在编译时绑定删除器，避免了间接调用删除器的运行时开销。 shared_ptr在运行时绑定删除器，使用户重载删除器更为方便。...(const int&, const int&) int (*pf1)(const int&, const int&) = compare; 当无法确定函数指针的唯一类型时，会出错，可以通过显式模板实参来消除调用歧义

6062 0

安全编程-c++野指针和内存泄漏

所以当player被销毁时，很难做到把所有引用该player_t的地方全部重置。...），当目标对象销毁时，该指针自然指向null，而不需要目标对象主动通知重置。... >::instance().inc(1); return p; } template T* new_obj(ARG1 arg1)...p; } 为了节省篇幅，这里只列举了三种构造的代码，当分配对象时，对应的类型数量增加1，obj_counter 使用原子操作为每一种类型记录其数量。...： template void del_obj(T* p) { if (p) { delete p; singleton_t<obj_counter_t

1.4K5 0

Chapter 5: Rvalue References, Move Semantics, PF

std::forward的作用是当我们传入的参数是左值时，在内部将参数转发到其他函数时仍然是按照左值转发(也就是调用左值参数的函数)，而当是右值时按照右值转发(调用右值参数的函数)；仅当传入的参数被一个右值初始化过后...上述auto cloneOfP(p)语句似乎应该是调用拷贝构造函数，但是实际上会调用完美转发构造函数，然后会用Person对象去实例化Person的string成员，然而并没有这种匹配规则，马上报错！...... }; 在这种例子下，我们想要的结果是：当传入的参数类型是Person时，应该调用拷贝构造函数，也就是要禁用模板；否则应该启用模板，将函数调用匹配到通用引用构造函数中。...编码机制是：当传递的参数是一个左值时，模板参数被推导为左值引用；当传递的参数是一个右值时，模板参数被推到为一个非引用。...如果将模板函数作为模板函数的参数，同样也无法自动推导出匹配的函数，因为模板函数不是一个函数，而是许多函数 template T workOnVal(T param) {..

5.1K4 0

终于弄明白了万能引用和右值引用的区别

的调用都会是取用了左值型别的那个重载版本因此：std::forward的作用就出来了：当传入右值时候，把param强制转换成右值，可以调用 process的右值版本 */...std::vector v; f(v); //2 //const修饰，也不是万能引用 //2 //const修饰，也不是万能引用 template void f(const...被调用时进行推导 //名字是 Args，不是T，但仍然是个万能引用，必要非充分条件：T&& ，但不一定取名 T //又如： template void...//其值不被移走，在这种情况下，你就得仅在最后一次使用该引用时候，对其实施 std::move或 std::forward // template // void setSignText...log(T time, const std::string& name) { } std::multiset names; template void

1.8K1 0

C++ 动态新闻推送第35期

，因为你不是move的不能调用于是就可以这样调用 auto r = std::move(mc).getCostly(); 从而保证了一次调用，和生命周期同步了但是，你要是这样调用 auto r =...Pack> struct pack { template static constexpr ssize_t index_of...+1 for null terminator }; template fixed_string(const char (&arr)[N]) -> fixed_string...(o: T) => (p: T) => o.first + o.last main(o) (p); // type checks main(o) (q); // type error 基本想法 import... auto sum(T t, T2 t2) -> decltype(t + t2) { return t + t2; } int main

2912 0

C++20 Text Formattingfmtlib 适配问题小记

Args> using format_string = string_view; template auto runtime(const S& s) -> basic_string_view...> { return s; } #else template <typename......format string. template auto runtime(const S& s) -> basic_runtime> { return...那么我们再来看看 basic_format_string 。 template <typename Char, typename......会报错，为什么呢？我们可以先来回顾一下 fmt::format(...) 的声明: template <typename...

1.2K2 0

Modern c++快速浅析

处理变量时，它与auto不同，并不会去忽略掉顶层const，原变量是啥它就是啥•当decltype处理函数时，它只是获取函数的返回值类型，并不会去调用函数•当decltype处理表达式时，假设类型为Tstd...HandleData typename 对于刚学习C++不久的人来说，最常见的typename的使用场所就是模板了 template template 上例中...num; // 编译时报错，详见下图 typename T::template InArray::ElemT num; } 知乎-C++ 为什么有时候必须额外写...Lambda表达式不会抛出异常时，可以使用noexcept修饰[]() noexcept { /* 函数语句 */ }•当Lambda表达式没有捕获任何参数时，它可以转换成为一个函数指针•Lambda中可以直接使用静态变量以及全局变量...也正因为此当调用Lambda时对该数据的访问是该数据当前的数值 Constexpr Lambda 此功能需要开启_std:c++17_ 显式constexpr auto lambda = [](int

1951 0

C++知识点

class C {pass}; template class C {pass}; C obj1; C...obj2; template template parameter, 模板模板参数 ---- // Container 为模板模板参数 template p2; // no XCls p3; // no XCls p4; // ok 这个不是 template template...} T obj; func1(&obj);// 调用接口不同，困扰 func2(obj); // 调用接口相同，很好 func3(obj); // 特别注意，写函数重载时，以下两种 (same signature...this pointer 设计分析继承体系时要对 this pointer 有一个清晰的认识对象调用成员函数时，该对象的 this 指正就会隐含地传入函数中下图中在对象调用 OnFileOpen

8723 0

25.C++- 泛型编程之函数模板(详解)

) { int c = a; a = b; b = c; } 但是这个函数仅仅只能支持int类型,如果我们想实现交换double,float,string等等时,就还需要从新去构造...关键字来声明使用模板通过typename关键字来定义模板类型比如: template //声明使用模板,并定义T是一个模板类型 void Swap(T&...a, T& b) //紧接着使用T { T c = a; a = b; b = c; } 当我们使用int类型参数来调用上面的Swap()时,则T就会自动转换为...,编译器根据a和5的类型来推导 Println(a, 5); //显示调用,告诉编译器,调用的参数是int类型 string s[5] = {"Java", "C++"...接下来开始试验多参数函数模板 #include using namespace std; template<typename T1,typename T2,typename T3

9864 0

C++20新特性个人总结

::value; // 对模板类型T添加std::is_arithmetic::value为true的约束，并对具有约束的新的类型声明number // 使用具有约束的类型，调用该函数时，T...a static_cast } auto g() -> S::Ptr;// OK, trailing-return-type }; template void...typename T> int g(T); template int h(T); } int x = f(N::A()); // 正确，调用N::f int...2.27 聚合初始化推导类模板参数通过聚合初始化中的参数类型来推导出类模板参数类型例子： template struct S { T x; T...y; }; template struct C { S s; T t; }; template struct D {

1.9K5 0

C++ Primer Plus习题及答案-第十四章

T1, typename T2> Pair::Pair(const Pair& p) { t1 = p.t1; t2 = p.t2; } template... T1& Pair::first() { return t1; } template <typename T1, typename...second() const { return t2; } }; template Pair::Pair(const Pair& p) { t1 = p.t1; t2 = p.t2; } template T1& Pair::...first() { return t1; } template T2& Pair::second() { return

7762 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭