Ross Ridge wrote:
Well, maybe I'm missing something, but it never converts input characters to UCNs so that means it doesn't do (A) or (B), and the only thing it converts to wide characters are wide string literals, so it doesn't do (C).
You are thinking operationally, when you should think semantically. Remember that as-if applies here. The rules as stated give ways to achieve certain effects, the question is not whether we are following the operational rules, but whether we are following the effects. Indeed I am not sure I understand that the three options are in fact distinct semantically. Can someone who understands this better address this point, and explain what the observable semantic effects of the three approaches are and how they differ.