From 48610a1a97dc68a26de5609a8e97d2d261639665 Mon Sep 17 00:00:00 2001 From: Ye WU Date: Thu, 20 Mar 2014 23:43:01 -0700 Subject: [PATCH] =?UTF-8?q?2.2.3=20=E8=8A=82=E5=A2=9E=E5=8A=A0=E9=83=A8?= =?UTF-8?q?=E5=88=86=E5=86=85=E5=AE=B9=E3=80=82?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- CppTemplateTutorial.cpp | 17 +++++++++++ ReadMe.md | 63 +++++++++++++++++++++++++++++++++++++++-- 2 files changed, 77 insertions(+), 3 deletions(-) diff --git a/CppTemplateTutorial.cpp b/CppTemplateTutorial.cpp index 2f26955..710f95c 100644 --- a/CppTemplateTutorial.cpp +++ b/CppTemplateTutorial.cpp @@ -190,6 +190,23 @@ namespace _2_2_2 } } +namespace _2_2_3 +{ + template class TypeToID + { + public: + static int const ID = -1; + }; + + class B {}; + + template <> class TypeToID; // 函数的TypeID + template <> class TypeToID; // 数组的TypeID + template <> class TypeToID; // 这是以数组为参数的函数的TypeID + template <> class TypeToID; // 我也不知道这是什么了，自己看着办吧。 + + template <> class TypeToID; +} // 1.4 Specialization, Partial Specialization, Full Specialization namespace _1_4 { diff --git a/ReadMe.md b/ReadMe.md index dce615a..c168f3e 100644 --- a/ReadMe.md +++ b/ReadMe.md @@ -769,7 +769,7 @@ Variant result = addFloatOrMulInt(aVar, bVar); 在模板代码中，这个“合适的机制”就是指“特化”和“部分特化（Partial Specialization）”，后者也叫“偏特化”。 -####2.2.2特化 +####2.2.2 特化 我的高中物理老师对我说过一句令我受用至今的话：把自己能做的事情做好。编写模板程序也是一样。当你试图用模板解决问题之前，先撇开那些复杂的语法要素，用最直观的方式表达你的需求： @@ -963,13 +963,15 @@ template <> class AddFloatOrMulInt ``` C++ -template TypeToID +template class TypeToID { +public: static int const ID = -1; }; -template <> TypeToID +template <> class TypeToID { +public: static int const ID = 0; }; ``` @@ -986,6 +988,61 @@ void PrintID() 如果你体味到了这一点，那么恭喜你，你的模板元编程已经开悟了。 +####2.2.3 偏特化 + +在上一节结束之后，你一定做了许多的练习。我们再来做三个练习。第一，给`float`一个ID；第二，给`void*`一个ID；第三，给任意类型的指针一个ID。先来做第一个: + +``` +// ... +// TypeToID 的模板“原型” +// ... + +template class TypeToID +{ + static int const ID = 0xF10A7; +}; +``` + +嗯， 这个你已经了然于心了。那么`void*`呢？你想了想，这已经是一个复合类型了。不错你还是战战兢兢的写了下来： + +``` +template <> class TypeToID +{ + static int const ID = 0x401d; +}; + +void PrintID() +{ + cout << "ID of uint8_t: " << TypeToID::ID << endl; +} +``` + +遍译运行一下，对了。模板不过如此嘛。然后你觉得自己已经完全掌握了，并试图将所有C++类型都放到模板里面，开始了自我折磨的过程： + +``` +class ClassB {}; + +template <> class TypeToID; // 函数的TypeID +template <> class TypeToID; // 数组的TypeID +template <> class TypeToID; // 这是以数组为参数的函数的TypeID +template <> class TypeToID< + int (ClassB::*[3])(void*, float[2])>; // 我也不知道这是什么了，自己看着办吧。 +``` + +甚至连 `const` 和 `volatile` 都能装进去 + +``` +template <> class TypeToID; +``` + +此时就很明白了，只要 `<>` 内填进去的是一个C++能解析的合法类型，模板都能让你特化。不过这个时候如果你一点都没有写错的话， `PrintID` 中只打印了我们提供了特化的类型的ID。那如果我们没有为之提供特化的类型呢？比如说double？OK，实践出真知，我们来尝试着运行一下： + +``` + +``` + +前面的例子里面，我们使用了单参数的模板。不过既然模板有多个参数的形式，那特化也得支持多个参数。 + ###2.3 函数模板的重载、参数匹配、特化与部分特化 ###2.4 技巧单元：模板与继承