原文地址：梁桂钊的博客

博客地址：http://blog.720ui.com

欢迎关注公众号：「服务端思维」。一群同频者，一起成长，一起精进，打破认知的局限性。

如何优雅地运用位运算实现产品需求？

在开始正文之前，我们先来说一下 Linux 的系统权限设计。在 Linux 系统中，为了保证文件的安全，对文件所有者、同组用户、其他用户的访问权限进行了分别管理。其中，文件所有者，即建立文件或目录的用户。同组用户，是所属组群中的所有用户。其他用户，指的是既不是文件所有者，也不是同组用户的其他用户。每个文件和目录都具有读取权限、写入权限和执行权限，这三个权限之间相互独立。

image.png

在 Linux 系统中，每个文件的访问权限可以用 9 个字母表示，每 3 个字母表示一类用户权限，分别代表文件创建者、同组用户、其他用户。其中，r 表示读取权限，w 表示写入权限，x 表示执行权限。通过功能模式修改文件权限，有三个部分组成，包括对象、操作和权限。

image.png

假设需要增加同组用户写入权限，下面来看一个例子。

chmod g+w /root/install.log

此外，每一类用户的访问也可以通过数字的方式进行表示。

image.png

那么，通过数字模式就可以对常见的 Linux 文件权限操作进行归纳。

image.png

假设需要设置创建者可读可写可执行、同组用户可读、其他用户可读，我们可以这样写：

chmod 755 /root/install.log

事实上，Linux 的文件访问权限就是非常经典的位运算使用场景。无独有偶，我们再来看下 Java 中的 java.lang.reflect.Modifier 。其中， Modifier 类采用 16 进制定义了静态常量。

public static final int PUBLIC           = 0x00000001;
public static final int PRIVATE          = 0x00000002;
public static final int PROTECTED        = 0x00000004;
public static final int STATIC           = 0x00000008;
public static final int FINAL            = 0x00000010;
public static final int SYNCHRONIZED     = 0x00000020;
public static final int VOLATILE         = 0x00000040;
public static final int TRANSIENT        = 0x00000080;
public static final int NATIVE           = 0x00000100;
public static final int INTERFACE        = 0x00000200;
public static final int ABSTRACT         = 0x00000400;
public static final int STRICT           = 0x00000800;
...

紧接着，Modifier 类提供了很多静态方法，例如 isPublic() 方法的返回值 & PUBLIC 对应的 16 进制值，如果非 0，则说明含有 public 修饰符。

public static boolean isPublic(int mod) {
    return (mod & PUBLIC) != 0;
}

这里有一个重要的知识点，采用 & 运算，两位同时为 1，结果才为 1，否则为 0。即 0&0=0; 0&1=0; 1&0=0; 1&1=1。例如：3&1 即 0000 0011 & 0000 0001 = 00000001，值为 1。

     0000 0011
&    0000 0001 
=    0000 0001  

与此同时，Modifier 类还采用 | 运算，确保参加运算的两个对象只要有一个为 1，其值为 1。即 0|0=0； 0|1=1； 1|0=1；1|1=1。例如 Modifier.PUBLIC | Modifier.PROTECTED | Modifier.PRIVATE | Modifier.ABSTRACT | Modifier.STATIC | Modifier.FINAL | Modifier.STRICT 的结果是 3103，即 110000011111。

private static final int CLASS_MODIFIERS =
        Modifier.PUBLIC         | Modifier.PROTECTED    | Modifier.PRIVATE |
        Modifier.ABSTRACT       | Modifier.STATIC       | Modifier.FINAL   |
        Modifier.STRICT;

     0000 0000 0000 0001
｜   0000 0000 0000 0010 
｜   0000 0000 0000 0100 
｜   0000 0000 0000 1000 
｜   0000 0000 0001 0000 
｜   0000 0100 0000 0000
｜   0000 1000 0000 0000
=    0000 1100 0001 1111

书归正传，我们站在前辈们的肩上，通过位运算设计优雅的多选标识，例如通过位运算实现权限控制或多状态管理，它的好处在于易扩展，避免数据库设计过程中字段膨胀，减少磁盘存储空间。

假设，我们现在有一个有一个业务需求：在任务中添加一个通知方式，可选项包括 IM 消息、系统提醒、邮箱、短信。选择 IM 消息后，支持 IM 即时发送；选择系统提醒后，支持站内信推送；选择选择邮箱后，该任务后续相关提醒内容，可通过发送邮件至相关人邮箱中进行通知；选择短信后，该任务后续相关提醒内容，可通过发送短信至相关人进行通知。

image.png

我们在设计数据库库表时，通常情况下，将多个标识字段合并成一个字段，并把这个字段改成字符串型方式保存，例如，存在 1 时表示支持 IM，2 时表示支持系统消息，3 表示支持邮箱，4 表示支持短信。此时，如果同时都满足，它的存储形式就是以逗号分隔的字符串：“1,2,3,4”。这样设计的好处在于，不仅消除相同字段的冗余，而且当增加新的渠道类别时，不需增加新的字段。

IM(1, "IM消息"),
SYSTEM(2, "系统提醒"),
MAIL(3, "邮箱"),
SMS(4, "短信");

但在数据查询时，我们需要对字符串进行分隔。并且字符串类型的字段在查询效率和存储空间上不如整型字段。因此，我们可以用“位”来解决这个问题。我们采取不同的位来分别表示不同类别的标识字段。

image.png

因此，当某个任务支持 IM 时，则保存 1（0000 0001）；支持系统消息时，则保存 2（0000 0010），支持邮箱时，则保存 4（0000 0100）；支持短信时，则保存 8（0000 1000）。四种都支持，则保存 15 （0000 11111）。

紧接着，我们通过封装常用方法来实现增删改。

/**
 * 判断
 * @param mod 用户当前值
 * @param value  需要判断值
 * @return 是否存在
 */
public static boolean hasMark(long mod, long value) {
    return (mod & value) == value;
}

/**
 * 增加
 * @param mod 已有值
 * @param value  需要添加值
 * @return 新的状态值
 */
public static long addMark(long mod, long value) {
    if (hasMark(mod, value)) {
        return mod;
    }
    return (mod | value);
}

/**
 * 删除
 * @param mod 已有值
 * @param value  需要删除值
 * @return 新值
 */
public static long removeMark(long mod, long value) {
    if (!hasMark(mod, value)) {
        return mod;
    }
    return mod ^ value;
}

总结一下，我们在数据库设计时，将多个标识字段合并成一个字段，并把这个字段改成字符串型方式保存，不仅消除相同字段的冗余，而且当增加新的渠道类别时，不需增加新的字段，但是字符串类型的字段在查询效率和存储空间上不如整型字段。因此，我们可以参考用“位”来解决这个问题。我们采取不同的位来分别表示不同类别的标识字段。

写在末尾

【服务端思维】：我们一起聊聊服务端核心技术，探讨一线互联网的项目架构与实战经验。让所有孤军奋战的研发人员都找到属于自己的圈子，一起交流、探讨。在这里，我们可以认知升级，连接顶级的技术大牛，连接优秀的思维方式，连接解决问题的最短路径，连接一切优秀的方法，打破认知的局限。

更多精彩文章，尽在「服务端思维」！