关于memcpy（void *restrict s1,const void *restrict s2,size_t n）的疑惑

关键字restrict导致memcpy中s1和s2内存之间没有交叠，我知道使用了restrict关键字说明该指针是访问该数组的唯一方式，内存区域一旦交叠，肯定会有意想不到的结果出现，但是，在使用memcpy函数时，是如何知道s1和s2之间没有内存交叠呢？

---

abs(s1 - s2) < n 不就是有交叠了吗