memmove正在复制0个字节，但引用超出界限是否安全

我在网上读到，如果要复制的字节数为0，则memmove预计不会执行任何操作。然而，我想知道的是，在这种情况下，是否预期不会读取源指针和目标指针

下面是我的一些代码的简化版本，我感兴趣的部分是shiftLeft:

#include <array>
#include <cstring>
#include <iostream>
class Foo final {
unsigned just       = 0;
unsigned some       = 0;
unsigned primitives = 0;
};
template <unsigned Len>
class Bar final {
unsigned             depth = 0;
std::array<Foo, Len> arr;
public:
Bar() = default;
// Just an example
void addFoo() {
arr[depth] = Foo();
depth++;
}
void shiftLeft(unsigned index) {
// This is what my question focuses on
// If depth is 10 and index is 9 then index + 1 is out of bounds
// However depth - index - 1 would be 0 then
std::memmove(
&arr[index],
&arr[index + 1],
(depth - index - 1) * sizeof(Foo)
);
depth--;
}
};
int main() {
Bar<10> bar;
for (unsigned i = 0; i < 10; ++i)
bar.addFoo();
bar.shiftLeft(9);
return 0;
}

当Len是10，depth是10，并且index是9时，则index + 1将读出越界。然而，在这种情况下，depth - index - 1也是0，这应该意味着memmove将不执行任何动作。这个代码安全吗？