定义用于易失性和非易失性对象的例程

我发现我自己想写一个例程,将操作两个易失性和非易失性内存块。大致如下:

void byte_swap (unsigned * block_start, size_t amount) {
    for (unsigned * lp = block_start; lp < block_start + amount; lp++) {
        *lp = htonl(*lp);
    }
    memcpy (block_start, some_other_address, amount);
}

(不是我真正的代码,而是一个例子)。

我遇到的问题是,如果我尝试使用指向易失性内存区域的指针,编译器会抱怨丢失了易失性限定符。我可以抛弃volatile,但如果例程试图缓存更改(或以前的读取),它似乎会使例程本身不安全,不是吗?

另一种选择是让程序本身 unsigned volatile * ,但这需要我将所有非易失性调用程序转换为易失性指针。

我想第三种选择是制作两个完全相同的例程副本,不同之处在于 volatile

有什么问题吗 正确的方法 来处理这件事,如果是的话是什么?

作为一个主要相关的问题,预定义例程(特别是memcpy)是否可以安全地与volatile指针一起使用?如果我这样做了,会有什么不好的事情发生在我身上?仅仅因为不使用volatile void指针,就必须自己重新运行任何与内存相关的库例程,这似乎有点愚蠢。