在果蝇中，长翅(B)对残翅(b)是显性，位于常染色体上；红眼(A)对白眼(a)是显性，位于X染色体上。现有两只雄果蝇甲、乙和两只雌果蝇丙、丁，这四只果蝇的表现型全是长翅红眼，让它们分别交配，后代的表现型如下：
甲×丁    乙×丙    乙×丁
↓         ↓         ↓
长翅红眼  长翅红眼 长翅红眼、残翅红眼
长翅白眼        长翅白眼、残翅白眼
对这四只果蝇基因型的推断正确的是 (  )
A.甲为BbX^AY       B.乙为BbX^aY
C.丙为BBX^AX^A       D.丁为bbX^AX^a