当使用debug_rep(&s)调用template <typename T> string debug_rep(T *p)时，为什么T不是string* - 腾讯云开发者社区

文章/答案/技术大牛

发布

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

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

1.8K2 0

第 16 章模板与泛型编程

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

1.8K2 0

您找到你想要的搜索结果了吗？

是的

没有找到

第 16 章模板与泛型编程

1.8K6 0

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

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

2.3K1 0

C++ 学习笔记

templatetypename ...T> auto sum(T ...s) { return (... + s); // ((s1+s2)+s3)... } 4.3 可变参数模板的使用 4.4...hello"); s1.get(); // "hello" s1.get(); // false } 3.当通过依赖于模板参数的对象通过.调用函数模板时，需要通过 template...templatetypename T> 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:当函数调用的备选方案中出现函数模板时，编译器根据函数参数确定(替换）函数模板的参数类型及返回类型，最后评估替换后函数的匹配程度。

7.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而不是普通函数模板函数特化

2.1K2 0

【C++模板与泛型编程】模板特化

当编译器遇到使用特定类型的模板实例时，会优先使用特化版本而非通用模板。...(); Pairstring*> p4(&x, nullptr); // 使用部分特化 (both are pointers) p4.print(...); return 0; } 5.3 部分特化的匹配规则当有多个部分特化版本可供选择时，编译器会选择最具体的匹配版本：完全匹配优先：如果存在完全匹配的特化版本，则优先使用...::is_pointer、std::is_integral等）就是通过模板特化实现的： // 通用模板：默认不是指针 template typename T> struct is_pointer {.../ 辅助函数模板 template typename T> T to(const std::string& str) { return StringConverterT>::convert(

1271 0

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

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

1.6K2 0

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

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

1.5K5 0

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

，关于如何使用它，不是本文讨论的重点，本文要说的是如何解决cmdline在MSVC下不能编译的问题。...T> 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.7K2 0

c++模板与泛型编程

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

9472 0

Chapter 5: Rvalue References, Move Semantics, PF

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

5.5K4 0

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

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

1.7K5 0

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

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

2.2K1 0

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

，因为你不是move的不能调用于是就可以这样调用 auto r = std::move(mc).getCostly(); 从而保证了一次调用，和生命周期同步了但是，你要是这样调用 auto r =...Pack> struct pack { templatetypename T> static constexpr ssize_t index_of...+1 for null terminator }; template t N> 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...typename T, typename T2> auto sum(T t, T2 t2) -> decltype(t + t2) { return t + t2; } int main

4612 0

C++进阶：（十三）C++11深度解析（中）：类型分类、引用折叠、完美转发与可变参数模板深度解析

常见的左值包括：变量名：int a、string s、const double pi = 3.14；解引用指针：*p；数组元素：arr[0]；字符串字面量（C 风格）："hello"（注意："hello...int b = 20; int* p = &a; string s = "左值字符串"; // 以下都是左值，可以取地址 cout 使用，是实现高效模板函数的关键。 3.1 为什么需要完美转发？在没有完美转发之前，模板函数中传递参数时，会丢失参数的原始类型信息。...因此process(param)会匹配左值引用版本的process，而不是我们期望的右值引用版本。这就是完美转发要解决的问题：如何在转发参数时，保留参数的原始类型（左值 / 右值）。...（省略号）的使用，主要包括三个部分：模板参数包（Template Parameter Pack）：template typename... Args>，表示零个或多个模板参数。

1101 0

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

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

1.7K2 0

C++面试周刊(6):字节一面移动语义与完美转发区别

• 请解释完美转发原理，并结合模板函数说明为什么使用 std::forward。历史文章： • # 面试周刊(4):类自定义 new/delete ？...是左值 2 如果直接写 data = s，会调用拷贝赋值。...• 为什么要移除引用？ • 假设调用： std::string str; std::move(str); 此时 _Tp 会被推导为 std::string&（因为传入的是左值）。...return static_cast(__t); } //右值引用 templatetypename _Tp> constexpr _Tp&& forward(typename std...; } • 作用：在模板函数中保持原值类别（左值/右值） • 典型用法： templatetypename T> void wrapper(T&& arg) { foo(std::forward

1811 0

Modern c++快速浅析

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

9741 0

【C++模板与泛型编程】重载与函数模板

{ std::cout String: " s << std::endl; } int main() { print(42); // 调用print(int...typename T> void func(T* a) {} // 新的函数模板，构成重载四、函数匹配与模板实例化 4.1 重载解析的三个步骤当调用一个重载函数或函数模板时，编译器按以下步骤确定最佳匹配...） ②显式模板实参：当推导失败时，可显式指定模板参数 template typename T> T max(T a, T b) { return a > b ?...5.1 函数模板与普通函数的竞争当普通函数与函数模板实例化产生竞争时，编译器优先选择普通函数： // 普通函数 void print(const char* s) { std::cout...typename T> void func(T a) {} template typename T> void func(T* a) {} int* p = nullptr; func(p);

1681 0

点击加载更多

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

第 16 章模板与泛型编程

第 16 章模板与泛型编程

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

C++ 学习笔记

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

【C++模板与泛型编程】模板特化

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

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

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

c++模板与泛型编程

Chapter 5: Rvalue References, Move Semantics, PF

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

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

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

C++进阶：（十三）C++11深度解析（中）：类型分类、引用折叠、完美转发与可变参数模板深度解析

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

C++面试周刊(6):字节一面移动语义与完美转发区别

Modern c++快速浅析

【C++模板与泛型编程】重载与函数模板

相关资讯

热门标签

活动推荐

运营活动

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐