Php 选中mysql数据库中的复选框

我有一个表单，在db的同一列中向db提交复选框表单，如“Windows、Android、iOS”。我有一个“编辑”页面，必须再次显示这些复选框，但这些复选框是从db中提取的，需要检查。在这种情况下，如果我从db中获取上一个字符串，我应该得到如下结果（选中粗体）：

• 窗口
• OSX
• Android
• iOS
• Windows Phone

我知道如何使用从数据库中获取的字符串获取数组

$devices = "Windows,Android,iOS";
$arrDevices = explode(',', $devices);

但我不知道这里对应复选框的算法

<input type="checkbox" name="platform" value="Windows">Windows
<input type="checkbox" name="platform" value="OS X">OS X
<input type="checkbox" name="platform" value="Android">Android
<input type="checkbox" name="platform" value="iOS">iOS
<input type="checkbox" name="platform" value="Windows Phone">Windows Phone

Windows
OSX
安卓
网间网操作系统
Windows Phone

将其添加到每个输入的末尾（当然，更改值）：

<?php print in_array('Windows', $arrDevices) ? 'checked' : '' ?>