C++の変数の型"P1m"について知りたい。

Question

#困っている点。
C++のtypeid().name()という関数を使用して変数の型を確認したところ、"P1m"という名前の型が出力されました。
しかし、インターネットで"C++ P1m"と検索してもP1mに関する情報が得られませんでした。
そこで、P1mという型について詳しく教えてください。

有識者の方々、ご助力お願いします。

#ソースコード
以下にソースコードがあるgithubのリンクを示します。
https://github.com/yzaki/verus

本コードは、上記のページの/src/verus_client.cppというファイルになります。
また、typeid().name()の出力は下記のコードの90行目で行っています。

#include "verus.hpp"

int len_inet;                // length
int s,err;

char* port;
char* srvr_addr;
unsigned int delay = 0;

bool receivedPkt = false;
bool terminate = false;

struct sockaddr_in adr_srvr;
struct sockaddr_in adr_srvr2;
struct sockaddr_in adr;

pthread_t timeout_tid;
pthread_t sending_tid;

typedef struct {
  udp_packet_t *pdu;
  long long seconds;
  long long millis;
} sendPkt;

std::vector<sendPkt*> sendingList;
pthread_mutex_t lockSendingList;

boost::asio::io_service io;
boost::asio::deadline_timer timer (io, boost::posix_time::milliseconds(SS_INIT_TIMEOUT));

static void displayError(const char *on_what) {
  fputs(strerror(errno),stderr);
  fputs(": ",stderr);
  fputs(on_what,stderr);
  fputc('\n',stderr);
  exit(1);
}

void TimeoutHandler( const boost::system::error_code& e) {
    int z;

    if (e) return;

    z = sendto(s,"Hallo", strlen("Hallo"), 0, (struct sockaddr *)&adr_srvr2, len_inet);
    if ( z < 0 )
      displayError("sendto(Hallo)");

    //update timer and restart
    timer.expires_from_now (boost::posix_time::milliseconds(1000));
    timer.async_wait(&TimeoutHandler);

    return;
}

void* sending_thread (void *arg)
{
  int s1, z;
  struct timeval timestamp;
  sendPkt *pkt;

  memset(&adr_srvr,0,sizeof adr_srvr);

  adr_srvr2.sin_family = AF_INET;
  adr_srvr2.sin_port = htons(atoi(port));
  adr_srvr2.sin_addr.s_addr =  inet_addr(srvr_addr);

  if ( adr_srvr2.sin_addr.s_addr == INADDR_NONE ) {
    displayError("bad address.");
  }

  s1 = socket(AF_INET,SOCK_DGRAM,0);
  if ( s1 == -1 ) {
    displayError("socket()");
  }

  while (!terminate) {
    gettimeofday(&timestamp,NULL);

    pthread_mutex_lock(&lockSendingList);

    if (sendingList.size() > 0)
       pkt = * sendingList.begin();

    // since tc qdisc command in Linux seems to have some issues when adding delay, we defer the packet here
    if (sendingList.size() > 0 && (timestamp.tv_sec-pkt->seconds)*1000.0+(timestamp.tv_usec-pkt->millis)/1000.0 > delay) {
      // sending ACK
      z = sendto(s1, pkt->pdu, sizeof(udp_packet_t), 0, (struct sockaddr *)&adr_srvr2, len_inet);
     // ここで出力している。
      std::cout << typeid(pkt->pdu).name() << "\n";
      free (pkt->pdu);

      if (z < 0)
        if (errno == ENOBUFS || errno == EAGAIN || errno == EWOULDBLOCK)
          std::cout << "reached maximum OS UDP buffer size\n";
        else
          displayError("sendto(2)");

      sendingList.erase(sendingList.begin());
      pthread_mutex_unlock(&lockSendingList);
    }
    else{
      pthread_mutex_unlock(&lockSendingList);
      usleep(0.01);
    }
  }

  return NULL;
}

void* timeout_thread (void *arg)
{
  boost::asio::io_service::work work(io);

  timer.expires_from_now (boost::posix_time::milliseconds(SS_INIT_TIMEOUT));
  timer.async_wait(&TimeoutHandler);
  io.run();

  return NULL;
}

int main(int argc,char **argv) {
  int z;
  int i = 1;
  char command[512];
  char tmp[512];

  udp_packet_t *pdu;
  sendPkt *pkt;
  struct timeval timestamp;
  setbuf(stdout, NULL);
  std::ofstream clientLog;

  pthread_mutex_init(&lockSendingList, NULL);

  if (argc < 4) {
    std::cout << "syntax should be ./verus_client <server address> -p <server port> [-d <additional link delay in ms>] \n";
    exit(0);
  }

  srvr_addr = argv[1];

  while (i != (argc-1)) { // Check that we haven't finished parsing already
    i=i+1;
    if (!strcmp (argv[i], "-p")) {
      i=i+1;
      port = argv[i];
    } else if (!strcmp (argv[i], "-d")) {
      i=i+1;
      delay = atoi(argv[i]);
    }else {
      std::cout << "syntax should be ./verus_client <server address> -p <server port> [-d <additional link delay in ms>] \n";
      exit(0);
    }
  }

  memset(&adr_srvr,0,sizeof adr_srvr);

  adr_srvr.sin_family = AF_INET;
  adr_srvr.sin_port = htons(atoi(port));
  adr_srvr.sin_addr.s_addr =  inet_addr(srvr_addr);

  if ( adr_srvr.sin_addr.s_addr == INADDR_NONE ) {
    displayError("bad address.");
  }

  len_inet = sizeof adr_srvr;

  s = socket(AF_INET,SOCK_DGRAM,0);
  if ( s == -1 ) {
    displayError("socket()");
  }

  std::cout << "Sending request to server \n";

  //printf("Sending Hallo to %s:%s\n", srvr_addr, port);
  z = sendto(s,"Hallo", strlen("Hallo"), 0, (struct sockaddr *)&adr_srvr, len_inet);
  if ( z < 0 )
    displayError("sendto(Hallo)");

  if (pthread_create(&(timeout_tid), NULL, &timeout_thread, NULL) != 0)
      std::cout << "can't create thread: " <<  strerror(err) << "\n";

  if (pthread_create(&(sending_tid), NULL, &sending_thread, NULL) != 0)
      std::cout << "can't create thread: " <<  strerror(err) << "\n";


  // starting to loop waiting to receive data and to ACK
  while(!terminate) {
    pdu = (udp_packet_t *) malloc(sizeof(udp_packet_t));

    socklen_t len = sizeof(struct sockaddr_in);
    z = recvfrom(s, pdu, sizeof(udp_packet_t), 0, (struct sockaddr *)&adr, &len);
    if ( z < 0 )
      displayError("recvfrom(2)");

    if (pdu->ss_id < 0) {
      clientLog.close();
      terminate = true;
    }

    // stopping the io timer for the timeout
    if (!receivedPkt) {
      sprintf (command, "client_%s.out", port);
      clientLog.open(command);
      receivedPkt = true;
      io.stop();
      std::cout << "Connected to server \n";
    }

    gettimeofday(&timestamp,NULL);
    sprintf(tmp, "%ld.%06d, %llu\n", timestamp.tv_sec, timestamp.tv_usec, pdu->seq);
    clientLog << tmp;

    pkt = (sendPkt *) malloc(sizeof(sendPkt));
    pkt->pdu = pdu;
    pkt->seconds = timestamp.tv_sec;
    pkt->millis = timestamp.tv_usec;

    pthread_mutex_lock(&lockSendingList);
    sendingList.push_back(pkt);
    pthread_mutex_unlock(&lockSendingList);

  }

  std::cout << "Client exiting \n";
  close(s);
  return 0;
}

Comments

[WoodenHamlet]

grepしてみても、P1mという記述が見当たらないのですが…？

Answer 1

typeinfo::name() が返す文字列は"実装依存"、
型に対しコンパイラが内部的に付与した(単なる)シンボルです。

型 A, B に対し
同じ型なら typeid(A).name() と typeid(B).name() は同じ
異なる型なら　typeid(A).name() と typeid(B).name() は異なる
ことが保証されているに過ぎません。

Comments

[man_]

回答ありがとうございます。

typeid関数をpythonのtype関数のようなものだと勘違いしていました。

Answer 2

type_infoのnameは実装定義、つまりコンパイラの都合で勝手に決められる名前を返してきます（cpprefjp）。人間が直接読んで意味のある値かどうかもコンパイラ次第です。

コードをたどると、pkt->pduの型はudp_packet_t *です。

Comments

[man_]

回答ありがとうございます。

Answer 3

typeid().name() と abi::__cxa_demangle() を参考にしてください。

#include <iostream>
#include <typeinfo>
#include <string>
#include <vector>
#include <cxxabi.h>
using namespace std;

class m;

int main()
{
	cout << typeid(m *).name() << ": m *" << endl;
	int status;
	cout << abi::__cxa_demangle("P1m", 0, 0, &status) << endl;
	cout << "---\n";
	cout << typeid(int).name() << ": int" << endl;
	cout << typeid(unsigned int).name() << ": unsigned int" << endl;
	cout << typeid(short).name() << ": short" << endl;
	cout << typeid(unsigned short).name() << ": unsigned short" << endl;
	cout << typeid(long).name() << ": long" << endl;
	cout << typeid(unsigned long).name() << ": unsigned long" << endl;
	cout << typeid(long long).name() << ": long long" << endl;
	cout << typeid(unsigned long long).name() << ": unsigned long long" << endl;
	cout << typeid(bool).name() << ": bool" << endl;
	cout << typeid(char).name() << ": char" << endl;
	cout << typeid(signed char).name() << ": signed char" << endl;
	cout << typeid(unsigned char).name() << ": unsigned char" << endl;
	cout << typeid(float).name() << ": float" << endl;
	cout << typeid(double).name() << ": double" << endl;
	cout << typeid(long double).name() << ": long double" << endl;
	cout << typeid(int *).name() << ": int *" << endl;
	cout << typeid(int [3]).name() << ": int [3]" << endl;
	cout << typeid(string).name() << ": string" << endl;
	cout << typeid(vector<int>).name() << ": vector<int>" << endl;
	cout << "---\n";
	cout << abi::__cxa_demangle("NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", 0, 0, &status) << endl;
	cout << abi::__cxa_demangle("St6vectorIiSaIiEE", 0, 0, &status) << endl;
}

実行結果

P1m: m *
m*
---
i: int
j: unsigned int
s: short
t: unsigned short
l: long
m: unsigned long
x: long long
y: unsigned long long
b: bool
c: char
a: signed char
h: unsigned char
f: float
d: double
e: long double
Pi: int *
A3_i: int [3]
NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE: string
St6vectorIiSaIiEE: vector<int>
---
std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >
std::vector<int, std::allocator<int> >