Разрешение разборки itanium-abi для шаблона с помощью ⇐ C++

[Anonymous]

BNF Itanium ABI предоставляет два возможных решения расчленения для объекта , заданного как . (например: в "_Z1aSaIcE" "SaIcE" должен быть и состоит из ("Sa") плюс (однозначный) ("c" = char)).
= "" можно разделить как:

• (A)

[*](B)

Можно ли устранить неоднозначность только путем определения «вида» упомянутого кандидата на замену путем его поиска? (например: «Sa» (выше) относится к замене, которая потенциально может стать , но не , поэтому ее необходимо разобрать как (B)).
Означает ли это, что невозможно проанализировать искажение в AST перед сбором кандидатов на замену?

Подробнее здесь: https://stackoverflow.com/questions/798 ... bstitution