c++静态多态性(CRTP)在评估 `static constexpr`时导致类型不完整

Question

我需要访问 static constexpr我放在一起的一个解决方案适用于 gcc ( live example ) 但不适用于 vc++ ( live example )。

代码如下:

template<class Drvd>
class Base
{
public:
    static constexpr bool val = Drvd::val;
};

class Derived : public Base<Derived>
{
    friend class Base;
private:
    static constexpr bool val = true;
};

int main()
{
    std::cout << Derived::Base::val << std::endl;
}

所以这是 vc++ 的一个错误，但任何人都知道如何实现 val在 Base 中定义作为 val 的值在Drvd以 vc++ 不会提示的不同方式？

编辑:请注意，结果与变体相同:friend class Base<Derived>;而不是 friend class Base;

Answer 1

你可以使用一种方法:

#include <iostream>

template<class Drvd>
class Base
{
public:
    static constexpr bool val() { return Drvd::val;  }
};

class Derived : public Base<Derived>
{
    friend class Base<Derived>;
private:
    static constexpr bool val = true;
};

int main()
{
    std::cout << Derived::Base::val() << std::endl;
}

实例:https://rextester.com/IHR24393