>> Но бинарный код в итоге должен получиться по производительности такой же, как если бы мы написали его на С++.

сомнительно, потому что в swift используется ARC для ссылочных типов(напр. class), и чем больше создаётся объектов классов, тем чаще срабатывает ARC, а без class вряд ли получится обойтись, заменив class на struct, потому что в swift по умолчанию struct копируемые, а moveonly struct всё ещё нет, для moveonly struct нужно реализовать механизмы ownership и borrowing, а это значит, что должен быть borrow checker в компиляторе swift