c++ - 在派生类中使用基类 typedef

Question

我尝试在派生类中使用基类 typedef 作为返回类型。

template <typename T>
class Base{
public:
    typedef size_t size_type;
    virtual size_type size() = 0;
};

template <typename T>
class Derived : public Base<T> {
public:
    using typename Base<T>::size_type;
    virtual size_type size();
};

template <typename T>
typename Derived<T>::size_type Derived<T>::size() {
    return 1;
}

clang 可以编译代码，而 msvc 不能。编译器说“大小的定义与其声明不匹配”。

我修改代码:

template <typename T>
typename Base<T>::size_type Derived<T>::size() {
    return 1;
}

情况正好相反。

我认为typename Base<T>::size_type更有意义，因为在基类中声明的虚函数也使用基类 typedef。但是 clang 不允许。

如果我必须使用类外 定义，我该如何修改代码以使其被两个编译器编译？

Answer 1

严格来说，如果 Clang(和 GCC，顺便说一句)接受您的代码而 MSVC 不接受，这通常并不表示您的代码有问题。 MSVC 的模板实现长期以来一直不合规。

然而，认识到我们生活在现实世界中并且不得不满足于不太理想的工具，您将不得不摆脱 using 声明。两个编译器都将接受此修改后的代码:

#include <cstddef>

template <typename T>
class Base{
public:
    typedef std::size_t size_type;
    virtual size_type size() = 0;
};

template <typename T>
class Derived : public Base<T> {
public:
    virtual typename Base<T>::size_type size();
};

template <typename T>
typename Base<T>::size_type Derived<T>::size() {
    return 1;
}