C++ 模板只接受具有特定成员的类型名

Question

我正在学习如何使用模板。假设，我有以下类结构。我仅将模板用于tC 和tD 类（打算在未来实现更多类似的类）。在项目的其他部分，我只使用基类A 中的方法进行抽象。这些类在 VS2019 中可以正确编译和运行。

我的问题是：

• 是否可以（根据准则和常识）在模板类中引用类型名 T 的成员？ （我的意思是getVersion()的实现）
• 我可以指定类型名 T 需要有这样的成员吗？

struct version {
    const char* name;
    int date;
};

class A {
    virtual void f() = 0;
    virtual const version& getVersion() const = 0;
}

template <typename T>
class B : public A {
   // some methods implementation specific for class B that require using typename T

   void f() override; // implemented somewhere else
   const version& getVersion() const { return T.v; }
}

class tC {
   static constexpr version v{"tC", 1};
   // some methods for C
}

class tD {
   static constexpr version v{"tD", 2};
   // some methods for D
}

Answer 1

你有两个问题：

• 是否可以在模板类中引用类型名 T 的成员？ （我的意思是 getVersion() 的实现）
• 我可以指定类型名 T 需要有这样的成员吗？

两者的答案都是“是”

在我把你的代码变成一个可编译的例子之后，它会做这两件事（尝试从 tD 中删除 v 的定义，看看它会拒绝那个类）

这是我想出的代码：

#include <stdio.h>

struct version {
    char name[200];
    int date;
};

class A {
public:
    virtual void f() = 0;
    virtual const version& getVersion() const = 0;
};

template <typename T>
class B : public A {
public:
   // some methods implementation specific for class B that require using typename T

   void f() override {};
   const version& getVersion() const override { return T::v; }
};

class tC {
public:
   static constexpr version v{"tC", 1};
   // some methods for C
};

class tD {
public:
   static constexpr version v{"tD", 2};
   // some methods for D
};

int main()
{
    B<tC> btc;
    version vtc = btc.getVersion();
    printf("%s %d\n",vtc.name,vtc.date);

    B<tD> btd;
    version vtd = btd.getVersion();
    printf("%s %d\n",vtd.name,vtd.date);

    return 0;
}

在这里试试：https://onlinegdb.com/raF_cbBwN