A formal [4 + 1] cycloaddition reaction of Baylis–Hillman adducts with sulfur ylides has been developed for the first time. This protocol features high functional group tolerance and provides facile access to biologically interesting α-alkenyl lactones with generally high yields. Meanwhile, the DFT calculation of the pathways has also been performed.