如下所示，请问主要是那几个判断是什么意思，然后如何识别，及实现字对齐的呢？

Question

#define lsize sizeof(word)
#define lmask (lsize - 1)
void *memcpy(void *dest, const void *src, size_t count)
{
char *d = (char *)dest;
const char *s = (const char *)src;
int len;

if(count == 0 || dest == src)
return dest;

if(((long)d | (long)s) & lmask) {
// src and/or dest do not align on word boundary
if((((long)d ^ (long)s) & lmask) || (count < lsize))
len = count; // copy the rest of the buffer with the byte mover
else
len = lsize - ((long)d & lmask); // move the ptrs up to a word boundary

count -= len;
for(; len > 0; len--)
*d++ = *s++;
}
for(len = count / lsize; len > 0; len--) {
*(word *)d = *(word *)s;
d += lsize;
s += lsize;
}
for(len = count & lmask; len > 0; len--)
*d++ = *s++;

return dest;
}

Answer 1

d，s是两个字符型指针，分别指向目标传位置和源传位置在判断 if(((long)d | (long)s) & lmask) 中，举个具体的例子假设是32位计算机，字长 word= 32/8 为4，即占4个byte，则lmask = 000……00011则d与s若是对齐的，应只有第三位及更高位不同（从低位算起）则(long)d | (long)s的最低两位一定是00，例如 d = **……**10100 s = **……**00100，则(long)d | (long)s = **……**10100，此时((long)d | (long)s) & lmask = 0，即对齐的话不做if中的语句，直接从整字开始copy内存内容否则，((long)d | (long)s) & lmask 非0，进入if语句：if((((long)d ^ (long)s) & lmask) || (count < lsize)) 中，记住lmask = 000……00011，所以(long)d ^ (long)s指d，s最低两位若完全相同，如都为10，10或者01，01，或者11，11，（不可能同时为00，00），则((long)d ^ (long)s) & lmask)为假，此时若count>=lsize，即判断为假，则len = lsize - ((long)d & lmask);其中((long)d & lmask)指d中后两位1的个数，为0个，1个，2个或者3个，而lsize - ((long)d & lmask)既是从d开始放，到下一个整字开始前还有几个空位，只能相应的为3个，2个，1个或者0个。随后的语句是指把先前面的0~3个零头字节复制掉，count -= len;for(; len > 0; len--)*d++ = *s++;否则，若d与s开始时就完全错开，如（10，11）或者(count < lsize)，判断为真，指的是若d与s开始时就完全错开，则逐字节复制即可，此时不可整字复制，或者虽然d和s是非整字对齐，如同为01，01，但是copy内容小于lsize（比如是4），不会存在大小为4byte的整字需要复制，则从d开始从头到尾复制即可，即for(len = count / lsize; len > 0; len--)循环中的内容。for(len = count & lmask; len > 0; len--)*d++ = *s++;因为lmask = 000……00011，则len = count & lmask即字符串的最后0~3个字符，所以最后的for是把整字之外剩余的零头也copy过去讲的比较混乱，按这个思路仔细想象就行了。Good luck！