web-dev-qa-db-ja.com

std :: type_info :: nameの結果のアンマングル

私は現在、いくつかのロギングコードに取り組んでいます。特に、呼び出し関数に関する情報を出力することになっています。これは比較的簡単で、標準C++には_type_info_クラスがあります。これには、typeidされたクラス/関数/などの名前が含まれます。しかし、それは壊れています。あまり役に立ちません。つまりtypeid(std::vector<int>).name()は_St6vectorIiSaIiEE_を返します。

これから何か有用なものを作り出す方法はありますか?上記の例の_std::vector<int>_に似ています。テンプレート以外のクラスでのみ機能する場合は、それでも問題ありません。

このソリューションはgccで機能するはずですが、移植できればより良いでしょう。ロギング用であるため、オフにできないほど重要ではありませんが、デバッグには役立ちます。

82
terminus

この質問/回答が受け取る注意、および GManNickG からの貴重なフィードバックを考えると、コードを少し整理しました。 2つのバージョンが提供されます。1つはC++ 11機能、もう1つはC++ 98機能のみです。

ファイル内type.hpp

_#ifndef TYPE_HPP
#define TYPE_HPP

#include <string>
#include <typeinfo>

std::string demangle(const char* name);

template <class T>
std::string type(const T& t) {

    return demangle(typeid(t).name());
}

#endif
_

ファイルtype.cpp(C++ 11が必要)

_#include "type.hpp"
#ifdef __GNUG__
#include <cstdlib>
#include <memory>
#include <cxxabi.h>

std::string demangle(const char* name) {

    int status = -4; // some arbitrary value to eliminate the compiler warning

    // enable c++11 by passing the flag -std=c++11 to g++
    std::unique_ptr<char, void(*)(void*)> res {
        abi::__cxa_demangle(name, NULL, NULL, &status),
        std::free
    };

    return (status==0) ? res.get() : name ;
}

#else

// does nothing if not g++
std::string demangle(const char* name) {
    return name;
}

#endif
_

使用法:

_#include <iostream>
#include "type.hpp"

struct Base { virtual ~Base() {} };

struct Derived : public Base { };

int main() {

    Base* ptr_base = new Derived(); // Please use smart pointers in YOUR code!

    std::cout << "Type of ptr_base: " << type(ptr_base) << std::endl;

    std::cout << "Type of pointee: " << type(*ptr_base) << std::endl;

    delete ptr_base;
}
_

以下を印刷します:

Ptr_baseのタイプ:_Base*_
指示先のタイプ:Derived

Linux 64ビットでg ++ 4.7.2、g ++ 4.9.0 20140302(実験的)、clang ++ 3.4(トランク184647)、clang 3.5(トランク202594)およびg ++ 4.7.2(Mingw32、Win32 XP SP2)でテスト済み)。

C++ 11の機能を使用できない場合、C++ 98でそれを行う方法は次のとおりです。ファイルtype.cppは次のとおりです。

_#include "type.hpp"
#ifdef __GNUG__
#include <cstdlib>
#include <memory>
#include <cxxabi.h>

struct handle {
    char* p;
    handle(char* ptr) : p(ptr) { }
    ~handle() { std::free(p); }
};

std::string demangle(const char* name) {

    int status = -4; // some arbitrary value to eliminate the compiler warning

    handle result( abi::__cxa_demangle(name, NULL, NULL, &status) );

    return (status==0) ? result.p : name ;
}

#else

// does nothing if not g++
std::string demangle(const char* name) {
    return name;
}

#endif
_


(2013年9月8日更新)

受け入れられた回答(2013年9月7日現在)abi::__cxa_demangle()への呼び出しが成功すると、はローカルへのポインターを返します、スタックに割り当てられた配列 ...
また、バッファを提供する場合、abi::__cxa_demangle()はヒープに割り当てられていると想定することに注意してください。スタックへのバッファーの割り当てはバグです(gnu docから): "_output_buffer_が十分でない場合、realloc。を使用して展開されます。" stack ...へのポインターでrealloc()を呼び出す( Igor Skochinsky の親切なコメントも参照してください。)

これらのバグの両方を簡単に確認できます。受け入れられた回答(2013年9月7日)のバッファサイズを1024から16などの小さいサイズに減らし、名前not15より長い(したがってrealloc()notが呼び出されます)。それでも、システムとコンパイラの最適化に応じて、出力は次のようになります:ごみ/なし/プログラムのクラッシュ。
2番目のバグを確認するには:バッファーサイズを1に設定し、1文字より長い名前で呼び出します。実行すると、スタックへのポインタを使用してrealloc()を呼び出そうとするため、プログラムはほぼ確実にクラッシュします。


(2010年12月27日の古い回答)

KeithBのコードに加えられた重要な変更バッファはmallocによって割り当てられるか、NULLとして指定される必要があります。スタック。

そのステータスも確認するのが賢明です。

_HAVE_CXA_DEMANGLE_が見つかりませんでした。 ___GNUG___をチェックしますが、コードがコンパイルされることさえ保証しません。誰もがより良いアイデアを持っていますか?

_#include <cxxabi.h>

const string demangle(const char* name) {

    int status = -4;

    char* res = abi::__cxa_demangle(name, NULL, NULL, &status);

    const char* const demangled_name = (status==0)?res:name;

    string ret_val(demangled_name);

    free(res);

    return ret_val;
}
_
103
Ali

Boostコアにはデマングラーが含まれています。チェックアウト core/demangle.hpp

#include <boost/core/demangle.hpp>
#include <typeinfo>
#include <iostream>

template<class T> struct X
{
};

int main()
{
    char const * name = typeid( X<int> ).name();

    std::cout << name << std::endl; // prints 1XIiE
    std::cout << boost::core::demangle( name ) << std::endl; // prints X<int>
}

以前に提案されたように、それは基本的にabi::__cxa_demangleの単なるラッパーです。

21
moof2k

これが私たちが使用するものです。 HAVE_CXA_DEMANGLEは、利用可能な場合にのみ設定されます(GCCの最新バージョンのみ)。

#ifdef HAVE_CXA_DEMANGLE
const char* demangle(const char* name)
{
   char buf[1024];
    unsigned int size=1024;
    int status;
    char* res = abi::__cxa_demangle (name,
                                 buf,
                                 &size,
                                 &status);
    return res;
  }
#else
const char* demangle(const char* name)
{
  return name;
}
#endif  
11
KeithB

ここでは、 type_strings.hpp を見てください。これには、必要なことを行う関数が含まれています。

デマングルツールを探しているだけなら、ログファイルに表示されているものを破壊するために使用できます。c++filt、これはbinutilsに付属しています。 C++およびJavaシンボル名をデマングルできます。

完全な解決策ではありませんが、標準(または広くサポートされている)マクロの定義を調べてください。マクロの使用を確認するコードをログに記録することは一般的です:

__FUNCTION__
__FILE__
__LINE__

e.g.:

log(__FILE__, __LINE__, __FUNCTION__, mymessage);
5
luke

実装が定義されているため、移植性のあるものではありません。 MSVC++では、name()は装飾されていない名前です。装飾された名前を取得するには、raw_name()を調べる必要があります。
暗闇の中で突き刺すだけですが、gccでは、 demangle.h

4
Eclipse

また、__PRETTY_FUNCTION__というマクロを見つけました。それはきれいな関数名を与えます(図:))。これは私が必要としたものです。

つまりそれは私に次を与えます:

virtual bool mutex::do_unlock()

しかし、他のコンパイラでは機能しないと思います。

3
terminus

ALiのソリューションのわずかなバリエーション。それでもコードを非常によくしたい場合

typeid(bla).name()

代わりにこれを書く

Typeid(bla).name()(大文字の最初の文字のみが異なる)

あなたはこれに興味があるかもしれません:

ファイル内type.hpp

#ifndef TYPE_HPP
#define TYPE_HPP

#include <string>
#include <typeinfo>

std::string demangle(const char* name);

/*
template <class T>
std::string type(const T& t) {

  return demangle(typeid(t).name());
}
*/

class Typeid {
 public:

  template <class T>
    Typeid(const T& t) : typ(typeid(t)) {}

  std::string name() { return demangle(typ.name()); }

 private:
  const std::type_info& typ;
};


#endif

type.cpp ALiのソリューションと同じまま

2
matzzz

__cxa_demangleにあるcxxabi.hをご覧ください。

1
CesarB
// KeithB's solution is good, but has one serious flaw in that unless buf is static
// it'll get trashed from the stack before it is returned in res - and will point who-knows-where
// Here's that problem fixed, but the code is still non-re-entrant and not thread-safe.
// Anyone care to improve it?

#include <cxxabi.h>

// todo: javadoc this properly
const char* demangle(const char* name)
{
    static char buf[1024];
    size_t size = sizeof(buf);
    int status;
    // todo:
    char* res = abi::__cxa_demangle (name,
                                 buf,
                                 &size,
                                 &status);
    buf[sizeof(buf) - 1] = 0; // I'd hope __cxa_demangle does this when the name is huge, but just in case.
    return res;
  }
1
Dan Dare

承認された解決策 [1]はほとんどうまくいきます。私は、期待していたことを報告しないケースを少なくとも1つ見つけました(そして、私はそれをコーナーケースとは呼びません)。

そのような場合、別の解決策を見つけました。

問題のあるケース([1]で定義されているtypeを使用):

_int i = 1;
cout << "Type of " << "i" << " is " << type(i) << endl;
int & ri = i;
cout << "Type of " << "ri" << " is " << type(ri) << endl;
_

生産する

_Type of i is int
Type of ri is int
_

Solutiontype_name<decltype(obj)>()を使用、以下のコードを参照):

_cout << "Type of " << "i" << " is " << type_name<decltype(i)>() << endl;
cout << "Type of " << "ri" << " is " << type_name<decltype(ri)>() << endl;
_

生産する

_Type of i is int
Type of ri is int&
_

必要に応じて(少なくとも私は)

コード。特殊化の問題のため、個別にコンパイルされたソースではなく、含まれているヘッダーにある必要があります。 テンプレート関数への未定義参照 を参照してください。

_#ifndef _MSC_VER
#   include <cxxabi.h>
#endif
#include <memory>
#include <string>
#include <cstdlib>

template <class T>
std::string
type_name()
{
    typedef typename std::remove_reference<T>::type TR;
    std::unique_ptr<char, void(*)(void*)> own
           (
#ifndef _MSC_VER
                abi::__cxa_demangle(typeid(TR).name(), nullptr,
                                           nullptr, nullptr),
#else
                nullptr,
#endif
                std::free
           );
    std::string r = own != nullptr ? own.get() : typeid(TR).name();
    if (std::is_const<TR>::value)
        r += " const";
    if (std::is_volatile<TR>::value)
        r += " volatile";
    if (std::is_lvalue_reference<T>::value)
        r += "&";
    else if (std::is_rvalue_reference<T>::value)
        r += "&&";
    return r;
}
_
1
sancho.s

私は常にtype_infoを使用したいと思っていましたが、name()メンバー関数の結果は非標準であり、意味のある結果に変換できるものを必ずしも返すとは限りません。
1つのコンパイラーに固執している場合は、コンパイラー固有の機能が必要な処理を行う可能性があります。ドキュメントを確認してください。

0
quamrana