关于《C++ Template》中的一点迷思！

[pjy717]

在书中《C++ Template》中的15.1.6中提到：
The major advantage of accessing policy classes through template template parameters is that it makes it easier to have a policy class carry with it some state information (that is, static data members) with a type that depends on the template parameters. (In our first approach the static data members would have to be embedded in a member class
template.)
如果有书的朋友可以看到，此段话中最后括号中的一句话：
In our first approach the static data members would have to be embedded in a member class
template。（我这样理解这句话：在我们的第一种方法中，不得不把static数据成员嵌入到成员类模板中）。
但是我发现这一章中，没有任何地方用到成员类模板。它所说的第一种方法我想就是把Policy类用一般的类（不用模板类）实现，其中用到了成员函数模板，也没有用到member class template。
并且这里的static数据成员指的是哪个数据成员呢？是不是这个地方错了？然后我看候捷跟李伟柱的中译本，他们也是这样翻译的，难道他们也将错就错，没有给读者指出来？，我想还是我错了，但我实在找不出来这句话对在什么地方？那位同行请指点一二，先谢谢了！！！
还有第一句说的The major advantage of accessing policy classes through template template parameters is that it makes it easier to have a policy class carry with it some state information (that is, static data members)，这里的static data member又指哪个数据成员呢？

[pjy717]

候捷太忙了，等到他答复就花儿也凋谢了！

[taodm]

哦，有完全版，不会是扫描的吧。
如果不是扫描的就发我一份[e-mail]
我就去找书下午来和你讨论。

[pjy717]

请说明你要哪个版本的

[taodm]

李伟柱版

[abblly]

李伟柱版
[e-mail]
thanks

[pjy717]

发送完毕，请各位检查一下。

[pjy717]

怎么没人给咱讲讲呀？

[cime63]

mark

[taodm]

呃，15.1.4不就是用了成员模板嘛。
作者的意思是，你可以自己对某个类型特化策略类，那么那个策略类就可以携带信息。但是携带的方法只能是通过给这个特化的策略类增加静态成员变量。
此书还没有需要某个策略类携带信息，所以你没有找到代码。

如果不用模板的模板参数，那么，就只好特化策略类的成员模板了，给这个成员模板的某个特化嵌入一个静态数据变量。

不知你理解没有？

[cime63]

[e-mail]
英文版,李伟柱版

谢谢

[pjy717]

taodm，谢谢你的解答，成员模板包含两种，一种是成员函数模板（member function template），一种是成员类模板（member class template），而作者在这里指第一种方式是用成员类模板。但是我看到的是用成员函数模板。

[pjy717]

现在的policy用两种方式实现，一个通过成员函数模板（就是作者所谓的第一种，但是不是成员类模板。），一种是通过类模板。这两个方式都通过trait携带template parameter的状态信息。
但我想这里作者是搞错了一个地方。把成员函数模板跟成员类模板搞混了

[taodm]

理解他意思就可以了，细节就别太追究了。

[taodm]

嗯，我再整理一下，确实作者没错，幸好我也还没怎么说错：

借住依赖于自己的模板参数的策略类，可以很容易让策略类携带一些状态信息（可以为某个类型特化策略类，在这个特化类里增加静态成员变量，让它携带上与此类型相关的特定信息）。而在第一种解决方案中，如果要为某个特定类型增加状态信息，只好给策略类增加一个成员类模板，并特化这个成员类模板（在这个特化类里增加静态成员变量，让它携带上与此类型相关的特定信息）。

[pjy717]

哦，哦，哦（顿悟！），原来作者这里有个假设的味道！！！汗！
“如果要为某个特定类型增加状态信息，只好给策略类增加一个成员类模板，并特化这个成员类模板（在这个特化类里增加静态成员变量，让它携带上与此类型相关的特定信息）”
一语惊醒梦中人！taodm的这句话太重要了！
这里我突然又想到：
静态成员变量也可以放到member function tempalte中呀，作为member function的局部静态变量。用到时通过调用这个member function来返回啊。这里member function template也可以特化呀。这个静态成员变量非要通过member class template来实现吗？

[taodm]

呃，放到函数里，那么就只有这个函数才能使用这个变量了。如果专门有一个函数就只负责返回这个变量的值，那也无法在编译期使用这个变量呀。那C++还要模板来搞编译期多态干嘛^-^

[pjy717]

嗯。是的，把静态变量到member funtion template中确实对其所在的类对其的使用就太狭隘了。
不过对于书中的AccumulationTraits如果改装成Policy的第一种做法的话（毕竟它只用到静态成员作为初始化来用，~_~,不过后来还是调用函数的方式），其他的先不谈（就是对于AccumulationTraits中的Acct先不管，要管就在里面搞一个member class template，然后对其特化之！^-^,南辕北辙哦！），我想把静态变量放到member funtion template中，然后特化这个member function template,我想是可以的。这点没错吧？

最后向taodm表示我深深的感谢！向你鞠躬！！！

[pjy717]

不知我上面的说法是否有误？

[taodm]

呵呵，别那么没自信嘛。

[pjy717]

一家（家都谈不上，应给是一人）之言，岂敢贸然确认，还需大家的指正！