Effective C++ 条款45：运用成员函数模板接受所有兼容类型

条款45：运用成员函数模板接受所有兼容类型

成员函数模板允许为类设计能够接受所有兼容类型的成员函数。这种方法提供了更大的灵活性和复用性，特别是在需要支持多种类型的场景中。

---

使用场景

1. 泛化构造函数：
   提供一种方式，可以通过兼容类型的对象来构造目标类型的对象。

2. 泛化赋值操作：
   支持通过兼容类型的对象为当前对象赋值。

---

示例：shared_ptr 的泛化构造和赋值

template <class T>
class shared_ptr {
public:
    shared_ptr(shared_ptr const& r);  // 正常的 copy 构造函数

    // 泛化 copy 构造函数，接受不同类型的 shared_ptr
    template <class Y>
    shared_ptr(shared_ptr<Y> const& r);

    shared_ptr& operator=(shared_ptr const& r);  // 正常的 copy assignment 操作符

    // 泛化 copy assignment，接受不同类型的 shared_ptr
    template <class Y>
    shared_ptr& operator=(shared_ptr<Y> const& r);
};

---

注意事项

1. 保留默认的 copy 构造和 copy 赋值：
   即使提供了泛化版本的构造和赋值操作，也需要保留默认版本。这是为了处理某些特殊场景，例如显式的类型一致性需求。

2. 防止模板过度特化：
   泛化构造和赋值操作通常用于支持兼容类型，但必须确保不会意外匹配错误的类型或导致二义性。

3. 兼容性与效率：
   使用成员函数模板可以提高代码的灵活性，但要注意避免因过多模板实例化而导致的代码膨胀。

---

总结

成员函数模板是一种强大的工具，尤其在需要支持多个类型的类设计中。然而，为了避免潜在的二义性或不必要的代码膨胀，需要慎重设计模板接口，并在需要时保留默认实现以确保代码的稳定性和可维护性。