小编maa*_*tdd的帖子

我需要创建一个union,但是union的2个成员将具有相同的类型,因此我需要一种方法来识别它们.例如在OCaml中:

type A = 
  | B of int
  | C of float
  | D of float

Boost.Variant似乎不支持这种情况,是否有一个已知的库支持它？