模板友元化


原著/Herb Sutter
翻译/宋科

摘要：

    假设我们有一个函数模板，可以调用其所操作的对象的SomethingPrivate()方法。特别地，考虑boost::checked_delete()函数模板，它用以删除指定的对象——在它的实现中，会调用该对象的析构函数：

namespace boost { template<typename T> void checked_delete( T* x ) { // ... 其它代码 ... delete x; }} 

class Test { ~Test() { } // 私有的!};Test* t = new Test;boost::checked_delete( t ); // 错误：// Test 的析构函数是私有的，// 因此checked_delete不能调用它。 

• 好消息：存在两种对其支持得很好的符合标准的方法，它们的语法很平凡且不会使人困惑。
• 坏消息：没有哪一种编译器对这两种标准语法提供完全的支持。甚至一些最健壮且几乎完全实现了C++标准的编译器都不能对它们两个或其中之一提供完好的支持。
• 好消息（重复）：我用来测试它的当前的每一个编译器（除了gcc以外）都至少对二者之一有完好的支持。

最初的尝试

//例1：授权给友元的方法class Test { ~Test() { } friend void boost::checked_delete( Test* x );}; 

• 是符合标准的，但却依赖语言的晦涩之处。
• 是被当前大多数编译器所拒绝的，包括一些很好的编译器。
• 是容易被修复成不依赖于此晦涩之处的，而且可以通过当前的所有编译器，除了gcc。

为什么合法但却晦涩

• 1、如果该友元的名字是一个具有确切的模板参数的特化了的模板名字（例如：Name<SomeType>） 
  
  则，友元就是此模板的特化。
  
• 2、否则，如果该友元在某个类或者命名空间（例如：Some::Name）中，而且该类或者命名空间包含一个匹配的非模板函数，
  
  则，友元就是该函数。
  
• 3、否则，如果该友元是在某个类或者命名空间（例如：Some::Name）中的，而且该类或者命名空间包含一个匹配的模板函数（具有适当的模板参数）
  
  则，友元就是该函数模板的特化。
  
• 4、否则，该友元必须在全局命名空间内（unqualified。译者：我将unqualified理解为处于全局命名空间，不知对否。），而且声明为（或重新声明）一个常规函数（非模板）。

关于构造单实例类的一个问题 C++中类的数据成员的安全隐患

设为首页 | 加入收藏 | 关于我们 | 联系我们 | 广告服务 | 网站地图 | 友情链接 | 在线帮助 | 免责声明 Sitemap W3school

如果您觉得本站不错，别忘了告诉您的同学和同事哟 ^_^

欢迎各网站转载我们的原创，转载时请注明出处。

All copyright is reserved by 软晨网（RuanChen.com）