正規表現のグループ番号は、パターン文字列の内容に関わらず、`(`が登場する順に1から割り振られます。
そのため、 `b(\d)|a(\d)` というパターンであれば

- `b(\d)`側の`(\d)`が1
- `a(\d)`側の`(\d)`が2

と割り振られます。

---

以下はPythonには適用されません。

一部の正規表現エンジンは名前付きグループを定義できます。更に複数の名前付きグループを統合する機能を持つものもあります。例えば[.NETの正規表現][1]では次のようにでき、名前付きグループ `num` で参照できます。

```
b(?<num>\d)|a(?<num>\d)
```

[Pythonは名前付きグループを定義できますが、グループは統合できない][2]ようです。


  [1]: https://docs.microsoft.com/ja-jp/dotnet/standard/base-types/grouping-constructs-in-regular-expressions#named_matched_subexpression
  [2]: https://docs.python.org/ja/3/library/re.html#index-17