复制构造函数中的“模板 typedef”不起作用

Question

一些背景知识：我正在编写一个基于策略的智能指针（如 Loki 库中的 SmartPtr），它可能具有破坏性复制语义，如 auto_ptr。因此，它需要有一个模板复制构造函数采用非常量引用来修改被复制的对象。

我正在尝试做的是通过策略中的某个变量参数化复制构造函数所采用的参数的常量，以便在不需要破坏性复制语义时使其变为常量。这是我提出的想法的简化代码，但不幸的是，它不起作用，因为编译器无法推断模板参数。是否有任何其他技术可用于实现所需的行为？

template <typename T, bool isEnabled> struct AddConst {
    typedef T Type;
};

template <typename T> struct AddConst<T, true> {
    typedef const T Type;
};

struct MyCopyPolicy {
    static const bool kIsCopyArgConst = true;
};

template <typename T, class CopyPolicy> struct Foo {

    // A helper struct to achieve "template typedef".
    template <typename T2> struct CopyArg {
        typedef typename AddConst<Foo<T2, CopyPolicy>,
            CopyPolicy::kIsCopyArgConst>::Type Type;
    };

    Foo() {}
    // Template copy constructor. Doesn't work.
    template <typename T2> Foo(typename CopyArg<T2>::Type& rhs) {}
};

int main() {
    Foo<int, MyCopyPolicy> foo1;
    Foo<double, MyCopyPolicy> foo2 = foo1;  // error!
}

Answer 1

也许这样的事情可能对你有用。我使用了 C++0x 中的 std::enable_if 。你可以很容易地使用 boost's，或者自己动手（只需要几行代码）。

#include <type_traits>

struct MyCopyPolicy {
    static const bool kIsCopyArgConst = true;
};

template <typename T, class CopyPolicy> struct Foo {

    // A helper struct to achieve "template typedef".
    template <typename T2> struct CopyArg {
        typedef CopyPolicy Type;
    };

    Foo() {}

    template <typename T2>
        Foo(const T2& rhs,
                typename std::enable_if<CopyArg<T2>::Type::kIsCopyArgConst>::type* = 0)
            {}
    template <typename T2>
        Foo(T2& rhs,
               typename std::enable_if<!CopyArg<T2>::Type::kIsCopyArgConst>::type* = 0)
            {}
};

int main() {
    Foo<int, MyCopyPolicy> foo1;
    Foo<double, MyCopyPolicy> foo2 = foo1;  // ok!
}

我不肯定这是最优的。这只是从臀部射击，其中一个目标是与您前进的位置保持最小距离。也许这就是你想去的地方，或者这会让你朝着正确的方向开始。