不是 VS2017 中的编译时常量表达式

Question

VS2017 15.1编译失败如下代码：

template<int data_size>
struct Data { };

template<int s>
struct Base
{
    static constexpr int size() { return s; }
};

template<int s>
struct Derived : Base<s>   // struct Derived
{
    Data<Base<s>::size()> data;
};

int main()
{
    Derived<1> c;
}

错误是：

error C2975: 'data_size': invalid template argument for 'Data', expected compile-time constant expression
note: see declaration of 'data_size'
note: see reference to class template instantiation 'Derived<s>' being compiled

如果我没有从Base 派生Derived，错误就会消失。使用 gcc 5.4.0 和 clang 4.0.0 在这两种情况下一切都很好。

这段代码有什么问题吗？

Answer 1

由于大小是静态的，因此没有真正的理由从 Base 继承。以下代码正在运行

template<int data_size>
struct Data 
{

};

template<int s>
struct Base
{
    static constexpr int size()  { return s; }
};

template<int s>
struct Derived 
{
    Data<Base<s>::size()> data;
};
int main()
{
    Derived<1> c;
}

如果您仍然需要从基础继承，您可以执行以下操作

template<int data_size>
struct Data 
{

};

template<int s>
struct Base
{
    static constexpr int size()  { return s; }
};

template<int s,int s1>
struct _Derived : Base<s>   // struct Derived
{
    Data<Base<s1>::size()> data;
};


template <int s>
using Derived = _Derived<s,s>;

int main()
{
    Derived<1> c;
}

我不确定 100% 为什么 VS 不允许在继承和静态函数访问中使用相同的模板 arg。当我需要它时，上面的方法可以解决问题:)

Answer 2

这是一个 Visual Studio 错误。根据 Visual Studio 反馈系统report，已在 Visual Studio 2019 版本 16.2 中修复。