【Effective C++】处理模板化基类中的名称

引例

---

假设现在有这样一个例子：

class CompanyA {
public:
	void sendClearText(const std::string& msg);
	void sendEncryted(const std::string& msg);
	//...
};

class CompanyB {
public:
	void sendClearText(const std::string& msg);
	void sendEncryted(const std::string& msg);
	//...
};

//保存信息
class MsgInfo {
	//...
};

template<typename Company>
class MsgSender {
public:
	void sendClearText(const MsgInfo& info) {
		std::string msg;
		//根据 info 产生信息
		Company c;
		c.sendClearText(msg);
	}
	void sendEncryted(const MsgInfo& info) {
		//...
	}
	//...
};

现在呢，我们想在每次发出信息的时候，标记某些信息，比如发送的次数，打印日志什么的，于是我们会想到这样处理：

template<typename Company>
class LoggingMsgSender : public MsgSender<Company>
{
public:
	void sendClearMsg(const MsgInfo& info) {
		//before sending msg, do sth
		sendClearText(info);
		//after sending msg, do sth
	}
	//...
};

想法很好，但是代码却无法通过编译，为什么？？

这是因为，编译器在遇到 LoggingMsgSender 时，并不知道它继承的是什么样的 class。你可能会说，它不就是继承 MsgSender<Company> 嘛。但是我们要知道，Company 只是一个模板，当 LoggingMsgSender 没有被具体化时，是无法知道 MsgSender<Company> 是什么的。

更简单的说，在 LoggingMsgSender 内无法知道 MsgSender<Company> 是否有一个 sendClearText 函数。因为当模板类 MsgSender 有偏特化、或者全特化版本时，可能并未提供 sendClearText 函数。

比如有另外一个新的 CompanyZ 类，只提供了 sendEncryted 函数：

class CompanyZ {
public:
	void sendEncryted(const std::string& msg);
	//...
};

一般性质的 MsgSender 模板对于 CompanyZ 并不合适，因为那个一般模板提供了 sendClearText 函数，在其中又要调用模板类型的 sendClearText 函数，而 CompanyZ 并未提供。为了修正这个问题，我们写了一个 MsgSender 针对 CompanyZ 的特化版本：

template<>
class MsgSender<CompanyZ> {
public:
	//delete sendClearText fundtion
	void sendEncryted(const MsgInfo& info) {
		//...
	}
	//...
};

现在，假如 LoggingMsgSender 的模板参数是 CompanyZ，这时候就会发现代码不合适，因为 CompanyZ 并未提供 sendClearText 函数。

所以，C++ 往往拒绝在 模板化基类(本例中的 MsgSender<Company>) 中寻找继承而来的名称，因为它知道，那个模板化基类有可能被特化，而那个特化的版本可能不提供和一般性 template 相同的接口。

三种解决办法

---

1. 在 base class 函数调用动作前加上 this->。假设函数将被继承。

	void sendClearMsg(const MsgInfo& info) {
		//before sending msg, do sth
		this->sendClearText(info);
		//after sending msg, do sth
	}

2. 使用 using 声明。将被掩盖的 base class 名称 带入到 derived class 作用域内。相关内容可以见避免隐藏继承而来的名称。

	using MsgSender<Company>::sendClearText;
	void sendClearMsg(const MsgInfo& info) {
		//before sending msg, do sth
		sendClearText(info);
		//after sending msg, do sth
	}

3. 明确指明被调用的函数位于 base class 内部：

	void sendClearMsg(const MsgInfo& info) {
		//before sending msg, do sth
		MsgSender<Company>::sendClearText(info);
		//after sending msg, do sth
	}

但是这样有一个缺点，无法实现多态了。