c++ - static_assert 放置问题

Question

有(不要担心这段代码的长度，专注于struct X和Range)(你可以复制和粘贴并且应该编译):
已编辑

    #include <limits.h>
#include <type_traits>
//This is from file "Static_limits.h"
template<class T>struct static_numeric_limits;
template<>struct static_numeric_limits<signed char>
{
    enum {min = SCHAR_MIN,max = SCHAR_MAX};
};
/*This "surplus" template is here for the reason that char is threated diferently from signed char */
template<>struct static_numeric_limits<char>
{
    enum {min = SCHAR_MIN,max = SCHAR_MAX};
};
template<>struct static_numeric_limits<unsigned char>
{
    enum {min = 0x0,max = UCHAR_MAX};
};
template<>struct static_numeric_limits<unsigned short>
{
    enum {min = 0x0,max = USHRT_MAX};
};
template<>struct static_numeric_limits<signed short>
{
    enum {min = SHRT_MIN,max = SHRT_MAX};
};
template<>struct static_numeric_limits<unsigned int>
{
    enum {min = 0x0,max = UINT_MAX};
};
template<>struct static_numeric_limits<signed int>
{
    enum {min = INT_MIN,max = INT_MAX};
};
template<>struct static_numeric_limits<unsigned long>
{
    enum {min = 0x0,max = ULONG_MAX};
};
template<>struct static_numeric_limits<signed long>
{
    enum {min = LONG_MIN,max = LONG_MAX};
};
template<>struct static_numeric_limits<unsigned long long>
{
    static const long long min = 0x0;
    static const long long max = ULLONG_MAX;
};
template<>struct static_numeric_limits<signed long long>
{
#define LLONG_MAX     9223372036854775807LL
    /* maximum signed long long int value */
    static const long long min = LLONG_MIN;
    static const long long max = LLONG_MAX;
};
//This is from main.cpp
typedef unsigned long long uint_64;
typedef signed long long int_64;
/*Validates range*/
template<class IntType, uint_64 value_,bool C = std::is_signed<IntType>::value>
struct validate_range;
template<class IntType,uint_64 value_>
struct validate_range<IntType,value_,true>
{
    enum {value = (static_cast<int_64>(value_) >= static_numeric_limits<IntType>::min) &&
                  (static_cast<int_64>(value_) <= static_numeric_limits<IntType>::max)
         };
};
template<class IntType,uint_64 value_>
struct validate_range<IntType,value_,false>
{
    enum {value = (value_ >= static_numeric_limits<IntType>::min) &&
                  (value_ <= static_numeric_limits<IntType>::max)
         };
};
template<class IntType, IntType value>
struct Range
{
private:
    const IntType value_;
protected:
    const IntType getRange()const
    {
        return value_;
}        public:
    Range():value_(value)
    {
        /*eb*/
    }
    //this static assert in here won't work even though this class is a base class for Low
    static_assert((validate_range<IntType, value>::value),"Value constant is out of range");
};
template<class IntType, IntType value>
struct Low : private Range<IntType,value>//HERE Range IS INHERITED BY Low
{
    const IntType getLowRange()const
    {
        return Range<IntType,value>::getRange();
    }
};
template<typename IntType, uint_64 low_range>
struct X : public Low<IntType,low_range>
{};
    //static_assert((validate_range<IntType, Value>::value),"Value constant is out of range");//this static doesn't work if placed in Low's base class namely Range        };
    int main(int argc, char** argv)
    {
        X<unsigned char, -2> x4;//this should fail
        return 0;
    }

所以基本上我在这里问的是为什么 static_assert((validate_range::value),... 如果放置在 Range 结构中不起作用，而 Range 结构又是 Low 的基类，而 Low 又是X 但如果直接放在结构 X 中就可以工作已编辑
伙计们，我对以前的代码感到非常抱歉。我已经编辑了我的帖子，这次它应该可以工作(暴露真正的问题)。再次对最后的代码感到抱歉，我只是不知道发生了什么。

Answer 1

r这是我得到的错误。它们似乎不言自明:

test.cpp:115:45: error: use of undeclared identifier 'Value'; did you mean 'value'?
     static_assert((validate_range<IntType, Value>::value),"Value constant is out of range");
                                            ^~~~~
                                            value
test.cpp:99:37: note: 'value' declared here
    template<class IntType, IntType value>
                                    ^
test.cpp:127:39: error: use of undeclared identifier 'low_range'
        struct X : public Low<IntType,low_range>
                                      ^
test.cpp:128:9: error: expected class name
        {
        ^
3 errors generated.

编辑

你的最新帖子为我编译(除了关于重新定义 LLONG_MAX 的警告)。