goの文法教えて

if a, b := c.(*d.Foo); b && o.Bar() {
　・・・
}

これは2つの変数 a, b に代入ってことであってる？
c.(*d.Foo) この部分がよくわからない
セミコロンは単に2つの式を入れるためだけのもの？