-qnamemangling（仅限 C++）

在 IBM XL C/C++ V13.1中引入了对名称修改方案的若干更改。 首先，在 V13.1之前，假设有两个函数的唯一区别是一个函数具有 cv 限定的参数，而另一个函数的参数不是 cv 限定的。 当您使用 typeid 运算符来检索这两个函数的类型时，函数类型的标题名称不一致。 请参阅以下示例。

#include <typeinfo>
#include <stdio.h>

int main( ){
  if( typeid(void (*)(int)) == typeid(void (*)(const int)) )
    printf("success\n");
  else
    printf("failure\n");
  return 0;
}

在 V13.1之前，两个函数 typeid(void (*)(int)) 和 typeid(void (*)(const int)) 的已管理名称不相同; 在 V13.1中，已管理的名称完全相同，如下表中所示。

其次，在 V13.1之前，未命名名称空间的已管理名称仅通过其文件名来区分它们与其他函数或名称空间。 当多个未命名的名称空间位于具有相同文件名但不同目录的单独文件中时，这些名称空间的已命名名称相同。 V13.1 发行版通过使用已管理的函数名中的文件名对文件目录进行编码来解决此问题。 例如，以下代码包含在目录 dir1 和目录 dir2下具有相同文件名 test.cpp 的两个文件中:

namespace{
  struct C{
    C(){ printf("%s\n", "C() of c1"); }
  }c1;
}

在 V13.1之前，目录 dir1 和目录 dir2 下的两个构造函数 C() 具有相同的管理名称。 当进行静态初始化并且将对象文件链接或装入到主程序时，仅调用或初始化由链接程序标识的第一个构造函数。 在 V13.1中，两个构造函数的已管理名称不同，如下表中所示。

在此发行版之前，由于忽略了模板类型参数的 cv 限定符，因此名称修饰方案未区分 cv 限定和 cv 限定的模板类型的函数参数。 v12 修订会保留 cv 限定符，因此以不同方式处理 cv 限定和非 cv 限定的函数参数。 例如：

template<typename Element> struct Iterator
{
    Iterator() {}
    Iterator<Element>& operator+=(long d);
    friend Iterator<Element> operator+(Iterator<Element> it, long d)
    {
        it += d;
        return it;
    }
};

int main()
{
    Iterator<int> iter;
    Iterator<const int> c_iter;
    iter = iter+10;
    c_iter=c_iter+10;
}

在上述示例中，在 v12 修订之前， Iterator<const int> operator+(Iterator<const int>, long)() 和 Iterator<int> operator+(Iterator<int>, long)() 具有相同的名称 mangling __pl__F8IteratorXTi_l。 修订会区分这两个函数的名称修饰，如下表所示:

在此发行版之前，名称管理方案在模板实例化中的不同指针到成员模板自变量之间没有不同，并且以下测试用例将无法编译:

struct pair 
{
    int x, y; 
    pair(int x_, int y_) : x(x_), y(y_) {} 
};

template <int pair::*PtrToPairMember>

struct str 
{    
    int f(pair& p) 
    { 
        return p.*PtrToPairMember; 
    }
};

template <int pair::*PtrToPairMember> g(pair& p) 
{ 
    return p.*PtrToPairMember; 
}

int main() 
{
    pair p(0, 1);    
    str<&pair::x> fx;
    str<&pair::y> fy;

    if (fx.f(p) != 0 || fy.f(p) != 1) { return 1; }

    if (g<&pair::x>(p) != 0 || g<&pair::y>(p) != 1) { return 2; }   

    return 0; 
}

从 V9.0 开始，编译器将不同的指针到成员模板自变量视为不同。 以下示例说明了此行为:

对管理方案的若干更改在 IBM XL C/C++ V8.0中生效。 首先，在 V8.0之前，未使用中间级别的 cv 限定符来区分函数特征符中重复参数中的类型。 从 V8.0 开始，使用中间级别的 cv-限定符来确定函数参数之间的等效关系。 由中间级别 cv 限定符的存在所区分的参数不被视为等效参数，而是作为单独的参数进行管理。 以下示例说明了此行为:

其次，在 V8.0之前，仅使用 typedef 定义中的底层类型来区分函数特征符中重复参数中的类型。 从 V8.0 开始，在模板参数中的 typedef 声明中定义的名称将编码为使用 typedef 作为参数的模板函数的管理名称中的单独参数。 以下示例说明了此行为:

对管理方案的若干更改在 IBM XL C/C++ V7.0中生效。 首先，在 V7.0之前，顶级 cv 限定符用于区分函数特征符中重复参数中的类型。 从 V7.0 开始，根据 C++ 标准，将忽略顶级 cv 限定符以确定函数参数之间的等价。 仅通过存在顶级 cv 限定符来区分的参数被视为等效参数，并且在用于相同类型的重复参数的压缩编码方案中表示。 以下示例说明了此行为:

non-type template argument   -> SM      #single repeat of a previous parameter
                           -> SP number #positive internal argument
                           -> SN number #negative internal argument

当非类型整数模板自变量为正数时，数字将以 SP作为前缀。 当非类型整数模板自变量为负数时，该数字以 SN 作为前缀，并且十进制数字不带负号写入。 可以表示的十进制数的范围没有限制。 以下示例说明了此行为: