高级模板成员使用

Question

我阅读了一些代码并查看以下定义：

您确实需要查看代码，它只是一个代码段。

与我的问题有关的只是我使用 ** 标记，（每次我加粗这个词，总是不生效）

那些类似的用法，是不是意味着：

template <class A>
class AA {
   functionBB(A::C c) {}
}

我的问题是： 这是否意味着当作者定义这样一个模板时，他知道 hw 将始终使用带有某些特定类的模板，他知道必须有类成员 C？

  template<class **QueryDataT**>
    class BasicRoutingInterface : boost::noncopyable{
    protected:
        QueryDataT & _queryData;
    public:
        BasicRoutingInterface(QueryDataT & qd) : _queryData(qd) { }
        virtual ~BasicRoutingInterface(){ };

    inline void RoutingStep(typename **QueryDataT::QueryHeap** & _forwardHeap, typename QueryDataT::QueryHeap & _backwardHeap, NodeID *middle, int *_upperbound, const int edgeBasedOffset, const bool forwardDirection) const {
        const NodeID node = _forwardHeap.DeleteMin();
            const int distance = _forwardHeap.GetKey(node);

   ....
}

Answer 1

模板可以引用模板形参的任何成员以及期望模板形参作为实参的任何重载函数（在模板形参之外）。这些将在模板实例化时解决。

由于 C++ 语法中的歧义，模板必须指定依赖于模板参数的标识符是否应该引用类型。所以：

template <class A>
class AA {
    functionBB(A::C c) {}
}

不会在兼容的编译器下编译，因为语法清楚地期望 A::C 是一种类型，但没有将其标记为此类。此处必须使用typename 关键字

template <class A>
class AA {
    functionBB(typename A::C c) {}
}

（请注意，typename 在上面较长的示例中正确使用）。没有typename关键字，应该是指值。

当模板引用参数类型的成员但它没有它们时，可能会发生两种情况之一。

• 如果在 SFINAE 上下文中找不到该成员，则忽略模板定义。如果有模板的另一个定义或非模板重载（在函数的情况下），则使用它们而不发生错误。

• 在任何其他情况下，编译器都会发出错误。

一个 SFINAE 上下文，它是模板实例的类型签名的一部分。这包括更多模板参数的默认值、类模板的基类型以及函数模板的参数和返回类型。