constexpr 构造函数中的 static_assert

Question

我搜索一种方法来检测 constexpr 构造函数的给定值是否在有效范围内。

代码如下：

class Timer0 {

constexpr uint16_t CalcPresecaler( uint32_t faktor )
{   
    uint16_t prescaler = faktor / 255;

    if ( prescaler <    1 ) return    1;  
    if ( prescaler <    8 ) return    8;  
    if ( prescaler <   64 ) return   64; 
    if ( prescaler <  256 ) return  256;
    return 1024;
}   

constexpr uint8_t PrescalerBits( uint16_t prescaler )
{   
    if ( prescaler == 1024 ) return 0b101;
    if ( prescaler ==  256 ) return 0b100;
    if ( prescaler ==   64 ) return 0b011;
    if ( prescaler ==    8 ) return 0b010;
    if ( prescaler ==    1 ) return 0b001;
    return 0b000; // should never happen
}  
    constexpr Timer0( const uint32_t sysclk, const uint32_t timerclk )
    {
        uint32_t faktor = sysclk/timerclk; 
        uint16_t prescaler = CalcPresecaler( faktor );
        uint8_t prescalerBits = PrescalerBits( prescaler );
        uint8_t compare = (faktor/prescaler)-1;
        static_assert( ???? ); << can not be used on function parameters
        OCR0=compare;
        TCCR0=0x08| prescalerBits;
        TIMSK=0x02;
    }
};

int main()
{
     Timer0 t0(  8000000, 10 );
}

我已经阅读了 C++11 - constexpr function 中的 static_assert？ 但我不能使用throw ，因为我在 gcc 没有启用异常的 avr 嵌入式目标上，即使它在这里用于编译时检查。

知道如何在编译时检测compare的值没有超过给定值吗？

Answer 1

由于你不能抛出，你可以在 constexpr 环境中做一些非法的事情。

例如，如果您的条件是prescalerBits != 0 ，您可以这样做：

if (prescalerBits == 0)
    *(int*)nullptr = 0;

这应该停止任何编译时评估。 如果您担心在运行时调用此 function 并获得 null 指针取消引用，您可以使用std::is_constant_evaluated()来保护这种情况。

Answer 2

您的代码并不是真正独立的，因此不清楚究竟是什么问题，所以我们将解决类似但更简单的问题：

在编译时构造一个矩形并检查它不是正方形（边长必须不同）。

第一个不舒服 C++ 真相：

C++ 中没有 constexpr function arguments。

这让包括我在内的许多开发人员感到困惑，但当你理解它的含义时，它是有道理的，但这是一个不同的长篇故事......

破解/解决此问题以使用模板 arguments 作为具有“constexpr function 参数”的方法。

简单的例子：

constexpr void fn(const int val){
  // does not compile even when val is 47: fn(47).
  //static assert(val==47);
}

template<auto val>
constexpr void fn_cx(){
  // does  compile  when called with 47:  fn<47>()>
  static_assert(val==47);
}

现在来实现我们的 Rectangle 示例：

class Rectangle{
    public:
    constexpr Rectangle(const int a, const int b): a_(a), b_(b){} 
    template<auto/*you can also use int here*/ a, auto b>
    static constexpr Rectangle MakeCx(){
        static_assert(a!=b,"square not allowed");
        return Rectangle(a,b);
    }
    constexpr int area() const{
        return a_*b_;
    }
    private:
    int a_;
    int b_;
};


int main()
{
    // ok
    constexpr auto rect = Rectangle::MakeCx<2,3>();
    // static_assert fails
    // constexpr auto square = Rectangle::MakeCx<2,2>();
    return rect.area();
}

注意：您提到您正在使用一些预定义的寄存器，这些显然不能在 constexpr 构造函数中写入。