现有①～④四个果蝇品系（都是纯种），其中品系①的性状均为显性，品系②～④均只有一种性状是隐性，其他性状均为显性。这四个品系的隐性性状及控制该隐性性状的基因所在的染色体如下表所示：

若需验证自由组合定律，可选择下列哪种交配类型

A：②×④

B：①×②

C：②×③

D：①×④