如何在类型依赖于派生类的基础模板类中声明成员？

给定使用CRTP的基类，我正在研究在基模板类中声明一个成员，其中类型取决于派生类。

尽管以下各项按预期工作：

template <class T> class BaseTraits;
template <class T> class Base {
    using TypeId = typename BaseTraits<T>::TypeId;
    TypeId id;
 public:
    Base() { id = 123; }
    TypeId getId() { return id; }
};

class Derived;
template <> class BaseTraits<Derived> {
public:
    using TypeId = int;
};

class Derived : public Base<Derived> {};

int main(int argc, char ** argv) {
     Derived foo;
     return foo.getId();
}

我想知道是否可以简化实施。我可以在模板中添加第二个模板参数Base，并使其BaseTraits更简单甚至摆脱它。但是，以上代码段已经尝试删除第二个模板参数。我正在寻找不涉及的第二个模板参数的解决方案Base。

我已经尝试过类似以下的内容，但是无法编译：

错误：无效使用不完整类型“派生类”

template <class T> class Base {
    using TypeId = typename T::TypeId;
    TypeId id;
 public:
    Base() { id = 123; }
    TypeId getId() { return id; }
};

class Derived : public Base<Derived> {
public:
    using TypeId = int;
};

int main(int argc, char ** argv) {
     Derived foo;
     return foo.getId();
}

更新：

• 我仅限于c ++ 14。
• Base 必须是模板。
• 性能是必须的。