如何从类自定义中引用类模板作为模板？

Question

这是场景：

template <template <typename> class T, typename V>
struct parent {
    void do_something();
};

template <typename V>
struct child : public parent<child, V> {
    void do_something(V argument);
    using parent<child, V>::do_something; // C3200: invalid template argument for template parameter 'IMPL', expected a class template
};

上面的代码无法使用给定的错误（MSVC 9.0）在给定的行上进行编译。 但是，如果我写这个，而不是在child的类定义之外：

template <typename V>
struct parent_identity_meta {
    typedef typename parent<child, V> type; // no error!
};

我现在可以在child内成功做到以下几点：

using parent_identity_meta<V>::type::do_something;

我知道有一个限制（在C ++ 11中得到缓解）你不能对模板进行typedef，但我不认为这是我在这里遇到的，否则parent_identity_meta的typedef会失败。 看起来，当不在其自己的类定义内部时， child引用模板 ，并且从内部生成类 。

这是可以理解的（必须每次写一个child<V>会很痛苦）; 但有没有办法覆盖这种行为？

Answer 1

这是C ++ 03和C ++ 11彼此不同的地方。 标准的相关部分是[temp.local]/1 。 在C ++ 03中，这表明：

与普通（非模板）类一样，类模板具有注入类名（第9节）。 inject-name-name可以使用或不使用template-argument-list。 如果在没有template-argument-list的情况下使用它，它等同于inject-name-name，后跟<>中包含的类模板的template-parameters。 当它与template-argument-list一起使用时，它引用指定的类模板特化，它可以是当前的特化或其他特化。

这意味着child （没有任何模板参数）引用了特化子child<V> 。 在C ++ 11中，它被改为：

与普通（非模板）类一样，类模板具有注入类名（第9节）。 inject-class-name可以用作模板名称或类型名称。 当它与template-argument-list一起使用时，作为模板模板参数的模板参数，或作为友元类模板声明的详细类型说明符中的最终标识符，它引用类模板本身。 否则，它等同于template-name，后跟<>中包含的类模板的template-parameters。

特别注意When it is used ... as a template-argument for a template template-parameter ... it refers to the class template itself. 。 这意味着在C ++ 11中，您的代码是正确的。