constexpr 类中的 c++ 常量指针

Question

美好的一天!请为我的代码提供帮助，我尝试使用指向非常量的 const 指针创建 constexpr 类，并在将来更改非常量变量，我的编译器说

“错误:‘Actuator{const Pin{1ul, 1ul}, const Pin{1ul, 2ul}, const Pin{1ul, 3ul}, ((velocity_type*)(& velocity))}”不是常量表达式",

对象 act1 始终存在，因为它的代码用于 ARM 嵌入式设备

代码:

#include <cstddef>

typedef std::size_t port_type;
typedef std::size_t pin_type;
typedef std::size_t velocity_type;

class Pin {
private:
    port_type const _port;
    pin_type const _pin;

public:
    constexpr Pin(port_type const port, pin_type const pin) :
            _port { port }, _pin { pin } {
    }
};

class Actuator {
private:
    Pin const _enable_pin;
    Pin const _dir_pin;
    Pin const _step_pin;
    velocity_type* const _velocity; //constant pointer to non-constant variable

public:
    constexpr Actuator(Pin const ep, Pin const dp, Pin const sp, const velocity_type velocity) :
            _enable_pin { ep }, _dir_pin { dp }, _step_pin { sp }, _velocity(const_cast<velocity_type*>(&velocity)) {
    }
    void set_velocity(const velocity_type velocity) const {*_velocity = velocity;} //try to change velocity
};

int main() {
    constexpr Actuator act1 ( Pin { 1, 1 }, Pin { 1, 2 }, Pin { 1, 3 }, 1u );
    act1.set_velocity(1u);
}

Answer 1

根据c++标准[expr-const]/2 (强调我的)

An expression e is a core constant expression unless the evaluation of e, following the rules of the abstract machine, would evaluate one of the following expressions:
(...)
15. a reinterpret_­cast

((velocity_type*)(& velocity)) 绝对是一种重新解释转换的形式，因此它不能用于常量表达式...