A - это первичное выражение. Его тип зависит от его . Строковый литерал - это lvalue; все остальные литералы являются prvalue.literal form