On 05/11/2012 09:00 PM, John McCall wrote:
-- diff begin --
Empty parameter lists, whether declared as () or conventionally as (void),
are encoded with a void parameter specifier (v). Therefore function types
always encode at least one parameter type, and function manglings can always be
distinguished from data manglings by the presence of the type. Member functions
do not encode the types of implicit parameters, either this or the VTT
parameter.
-A "Y" prefix for the bare function type encodes extern "C". If there are any cv-qualifiers or
a ref-qualifier of this, they are encoded at the beginning of the <qualified-name> as described above. This
affects only type mangling, since extern "C" function objects have unmangled names.
+When mangling a non-static member function name, if there are any cv-qualifiers or a
ref-qualifier of this, they are encoded at the beginning of the
<qualified-name> as described above. When mangling any other function type, if
there are any cv-qualifiers or a ref-qualifier, they are encoded as part of the
function type as described below.
+
+A "Y" prefix for the bare function type encodes extern "C" in implementations which distinguish between
function types with "C" and "C++" language linkage. This affects only type mangling, since extern
"C" function objects have unmangled names.
-- diff end --
We should also clarify whether the modified function type is a
substitution candidate. That is, given
template <class T, class U> struct A { };
void f (A<void()const, void()> *){}
whether f is mangled as
_Z1fP1AIKFvvES0_E
or
_Z1fP1AIKFvvEFvvEE
G++ currently treats it as a substitution candidate, clang 3.2 does not,
and EDG 4.4 neither treats it as a substitution candidate nor mangles
the 'const'.
I think not treating it as a substitution candidate is most consistent
with the language rules, and with the mangling rule for pointer to
member function types.
Incidentally, the change above hasn't been applied to the published ABI yet.
Jason
_______________________________________________
cxx-abi-dev mailing list
[email protected]
http://sourcerytools.com/cgi-bin/mailman/listinfo/cxx-abi-dev
