タイプをそれを説明する文字列に変換するテンプレートクラスを作成していました。たとえばtypeinfo<int(*)()>::name()、文字列を返します"int(*)()"（空白まで）。typeid(...).name()最初は、参照修飾子とトップレベルのcv修飾子を取り除くという事実を回避するための特別なケースがたくさんありましたが、テンプレートパラメーターとして型を渡すとこれらが保持されることを思い出しました。したがって、ABIヘッダーを使用すると、次のようになります。
#include <iostream>
#include <typeinfo>
#include <string>
#include <cxxabi.h>
using namespace std;
string demangle(const char* mangledName) {
int status;
char* result = abi::__cxa_demangle(mangledName, nullptr, nullptr, &status);
switch(status) {
case -1:
cerr << "Out of memory!" << endl;
exit(1);
case -2:
return mangledName;
case -3: // Should never happen, but just in case?
return mangledName;
}
string name = result;
free(result);
return name;
}
template<typename T> struct preserve_qualifiers {};
template<typename T> class typeinfo {
using wrap = preserve_qualifiers<T>;
public:
static const string name() {
string name = demangle(typeid(wrap).name());
int i = name.find_first_of('<');
if(i == string::npos) return name;
int j = name.length() - i - 2;
return name.substr(i + 1, j);
}
};
#define TypeOut(...) cout \
<< "Type " #__VA_ARGS__ ": " << endl \
<< " Mangled: " << typeid(__VA_ARGS__).name() << endl \
<< " Demangled: " << demangle(typeid(__VA_ARGS__).name()) << endl \
<< " typeinfo<>: " << typeinfo<__VA_ARGS__>::name() << endl
class A {};
template<typename T> class F {};
template<int T> class G {};
template<template<typename> class T> class H {};
template<template<int> class T> class I {};
template<typename... T> class J {};
template<int... T> class K {};
template<template<typename> class... T> class L {};
template<template<int> class... T> class M {};
template<template<typename> class... T> class N {};
template<template<template<typename> class...> class... T> class O {};
struct bits {int i : 4, j : 2;};
template<typename T, int n> struct bits2 {T val : n;};
int main(int argc, char* argv[]) {
TypeOut(void(*volatile)(void(*const)()));
TypeOut(int (A::*)());
TypeOut(int (A::*)()const);
TypeOut(int (A::*const)());
#ifdef __clang__
TypeOut(int (A::*)()&);
TypeOut(int (A::*)()&&);
#endif
TypeOut(F<int>);
TypeOut(G<3>);
TypeOut(H<F>);
TypeOut(I<G>);
TypeOut(J<int>);
TypeOut(K<3>);
TypeOut(L<F>);
TypeOut(M<G>);
TypeOut(N<F,F,F>);
TypeOut(O<N,N>);
}
これは、GCC（4.8）で（ほぼ）完全にコンパイルおよび動作します。ただし、GCCはメンバー関数のref-qualifiersをサポートしていないため、Clang（3.2）でも試して、機能するかどうかを確認しました。そうではありません。正常にコンパイルされ、問題なく実行されますが、ほとんどのテンプレート名はデマングルされておらず、ref修飾されたメンバー関数もありません。
これがideoneからのGCC出力です（ideoneのバージョンのGCCはnullptrまたはエイリアス宣言をサポートしていないため、コードはわずかに調整されています）。関数パラメーターにconst修飾子がないことに注意してください。GCCで期待していたように機能しなかったのはそれだけです。Clangでも同じですが、特に驚くことではないと思います。（驚くべきことは、GCCとClangが一貫しているということではなく、まったく欠落していることです。）
残念ながら、Clangを使用してコンパイルおよび実行する場合、可変個引数のテンプレート化されたクラスをデマングルすることはできませんでした。たとえば、GCCが選択1JIJiEEしたものの代わりにJがマングルされました。1JIIiEE
clangから選択された出力（機能しなかったもののみを表示）
Type int (A::*)()&:
Mangled: M1AFivRE
Demangled: M1AFivRE
typeinfo<>: 19preserve_qualifiersIM1AFivREE
Type int (A::*)()&&:
Mangled: M1AFivOE
Demangled: M1AFivOE
typeinfo<>: 19preserve_qualifiersIM1AFivOEE
Type J<int>:
Mangled: 1JIJiEE
Demangled: 1JIJiEE
typeinfo<>: 19preserve_qualifiersI1JIJiEEE
Type K<3>:
Mangled: 1KIJLi3EEE
Demangled: 1KIJLi3EEE
typeinfo<>: 19preserve_qualifiersI1KIJLi3EEEE
Type L<F>:
Mangled: 1LIJ1FEE
Demangled: 1LIJ1FEE
typeinfo<>: 19preserve_qualifiersI1LIJ1FEEE
Type M<G>:
Mangled: 1MIJ1GEE
Demangled: 1MIJ1GEE
typeinfo<>: 19preserve_qualifiersI1MIJ1GEEE
Type N<F,F,F>:
Mangled: 1NIJ1FS0_S0_EE
Demangled: 1NIJ1FS0_S0_EE
typeinfo<>: 19preserve_qualifiersI1NIJ1FS1_S1_EEE
Type O<N,N>:
Mangled: 1OIJ1NS0_EE
Demangled: 1OIJ1NS0_EE
typeinfo<>: 19preserve_qualifiersI1OIJ1NS1_EEE
誰かがこれがどのように解決されるかについて何か考えがありますか？それはclangのバグですか？（またはGCCのバグかもしれませんか？）私の最初の疑いは、私のコードにリンクされているC++ABIとclangが使用しているC++ABIの間のバージョンの非互換性でした。この問題が新しいC++11機能（メンバー関数の参照修飾子と可変個引数テンプレート）でのみ発生するという事実は、この疑いをサポートしているようです...（たとえば）r値の参照には問題はありません。
関連する場合は、私はMac OSX Lionを使用しており、GCC4.8とclang3.2はMacPortsからインストールされました。コンパイルには次のコマンドを使用しています。
clang++-mp-3.2 -isystem/usr/local/include/c++/v1 -stdlib=libc++ -std=gnu++11 typeinfo-min.cpp -o typeinfofun-clang
G++-mp-4.8 -std=gnu++11 typeinfo-min.cpp -o typeinfofun-gcc
clangがlibc++ヘッダーを見つけられるようにするためにisystemフラグが必要なようです（これは<type_traits>、これのより複雑なバージョンに使用していたときに必要でした）。それがなければ、それは見つけることさえできません<iostream>。
（補足として、この問題はより複雑なバージョンにも影響します。クラス名は、おそらく当然のことながら、複雑な型の特殊化ではなく、ABI demangle呼び出しを使用しただけだからです。）
（余談ですが、これの移植性についても興味があります。MSVCでは、からのマングルされていない名前が返されるため、必要ないことはわかっていますがtypeid(...).name()、それとは別に...）