1

C++ のテンプレートと型変換に関する不可解な質問を以下に示します。簡単にするために、クラス BiMap を使用して 1 対 1 の関係をモデル化するテンプレート クラスを定義しました。

#include <stdio.h>
#include <stdlib.h>
#include <map>   
#include <string>

template<class T1, class T2>
class BiMap {
 public:
  T2& operator[] (T1& t1) {
    return d1[t1];
  }
  T1& operator[] (T2& t2) {
    return d2[t2];
  }
 private:
  std::map<T1, T2> d1;
  std::map<T2, T1> d2;
};


int main(int argc, char *argv[])
{

  BiMap<std::string, int> m;
  m["1"] = 2;
  m[2] = 3;

  printf("%d", m["1"]);
  printf("%d", m[2]); 
  return 0;     
}

しかし、次のコンパイル エラーが発生します。

testPedigree.cpp:45: error: no match for ‘operator[]’ in ‘m["1"]’
testPedigree.cpp:16: note: candidates are: T2& BiMap<T1, T2>::operator[](T1&) [with T1 = std::basic_string<char, std::char_traits<char>, std::allocator<char> >, T2 = int]
testPedigree.cpp:19: note:                 T1& BiMap<T1, T2>::operator[](T2&) [with T1 = std::basic_string<char, std::char_traits<char>, std::allocator<char> >, T2 = int]

この投稿で質問したように、C++ が自動的に const char* を std::string にキャストすることを期待していました: Why I can use const char* as key in std::map<std::string, int>

4

1 に答える 1

3

constあなたのコードは非参照を一時 (つまり、std::stringあなたの から暗黙的に作成された)にバインドしようとしますconst char[]。const一時的にバインドできるのは参照のみです。

試す：

  T2& operator[] (const T1& t1) {
    return d1[t1];
  }
  T1& operator[] (const T2& t2) {
    return d2[t2];
  }

サンプルには他にもいくつかの些細なバグがあります。修正され、テストされたプログラムは次のとおりです。

#include <stdio.h>
#include <stdlib.h>
#include <map>
#include <string>

template<class T1, class T2>
class BiMap {
 public:
  T2& operator[] (const T1& t1) {
    return d1[t1];
  }
  T1& operator[] (const T2& t2) {
    return d2[t2];
  }
 private:
  std::map<T1, T2> d1;
  std::map<T2, T1> d2;
};


int main(int argc, char *argv[])
{

  BiMap<std::string, int> m;
  m["1"] = 2;
  m[2] = "3";

  printf("%d", m["1"]);
  printf("%s\n", m[2].c_str());
  return 0;
}
于 2012-12-05T16:23:12.017 に答える