alignSize

alignSize函数解析

/** @brief Aligns a buffer size to the specified number of bytes.

The function returns the minimum number that is greater than or equal to sz and is divisible by n :
\f[\texttt{(sz + n-1) & -n}\f]
@param sz Buffer size to align.
@param n Alignment size that must be a power of two.
 */
static inline size_t alignSize(size_t sz, int n)
{
    CV_DbgAssert((n & (n - 1)) == 0); // n is a power of 2
    return (sz + n-1) & -n;
}

该函数的作用是计算最小的大于等于sz的且是n的倍数的值。
上述代码中要确保$n$为$2$的幂，这就保证了$n$的二进制表达式中只有一个1，例如$n=2(二进制00000010)，n=4(二进制00000100)，n=8(二进制00001000)$。
其中

CV_DbgAssert((n & (n - 1)) == 0);

为判断$n$为$2$的幂，上面讨论过，如果$n$为$2$的幂，则二进制表达式中只有一个$1$，而$n-1$则是$1$位取$0$，后面全部变为$1$（例如：$4=0100，(4-1)=0011$），两者做&位运算结果为$0$；

(sz + n-1) & -n;

上面这行代码中&左侧为$(sz+n-1)$而不是$(sz+n)$是为了确保最后的结果为最小的倍数，是为了排除$sz$正好是$n$的倍数时，结果变成$sz+n$.
另外$-n$的二进制表达式为补码形式，首先将n的二进制全部取反，然后$+1$，结果为$1$左侧的$0$全部变为$1$.
因此上面代码中两者按位&运算相当于将$sz+n-1$二进制中$n$的倍数位的$1$以外的$1$全部变成$0$，最后的结果就是小于$sz+n-1$并且最大的n的倍数。