如何在无未定义行为（UB）的情况下获取RISC-V32的栈指针（sp）

问题背景 #

目标平台为riscv32-unknown-elf（piccolo32），该平台具备栈结构且编译器会加以利用。此前尝试两种方式获取栈指针，但都存在问题：

带volatile的实现（不符合需求） #

void* volatile sd = nullptr; // volatile 防止被优化到寄存器
void* volatile sp = &sd + REGISTER_SIZE; // 因sd是volatile被迫添加，但希望sp能被优化到寄存器

不希望使用volatile，因为sp应当且能够被编译器优化至寄存器中。

无volatile的实现（存在UB） #

void* sd = nullptr; // 可能存在未定义行为
void* sp = &sd + REGISTER_SIZE;

这种写法依赖C指针指向真实硬件地址的假设，但C标准并未保证这一点，编译器可能优化掉变量或让指针指向任意位置，属于未定义行为。

正确解决方案：使用内联汇编直接读取sp寄存器 #

最可靠且无UB的方式是通过内联汇编直接访问RISC-V32的sp寄存器，绕开C++的指针抽象，直接和硬件交互。示例代码如下：

#include <cstdint>

// 获取栈指针的数值
uint32_t get_stack_pointer() {
    uint32_t sp_val;
    // RISC-V32内联汇编：将sp寄存器的值移动到sp_val变量中
    __asm__ __volatile__ ("mv %0, sp" : "=r"(sp_val));
    return sp_val;
}

// 如需void*类型，直接转换即可
void* get_sp_as_ptr() {
    return reinterpret_cast<void*>(get_stack_pointer());
}

说明 #

1. 内联汇编直接读取硬件寄存器sp，完全符合RISC-V架构规范，不存在C++层面的未定义行为。
2. 这里的__volatile__仅用于阻止编译器优化这段汇编代码本身，返回的变量（如sp_val）仍然可以被编译器优化到寄存器中，满足你希望sp能被优化的需求。
3. 之前通过局部变量地址推导sp的思路不可行：C++标准未规定局部变量的栈布局，不同优化等级、编译器版本都会导致结果不可靠，属于明确的未定义行为。

内容的提问来源于stack exchange，提问作者Fabian Keßler