Получение различных и несопоставимых типов из int в C ++ - PullRequest
Новая
       3

Получение различных и несопоставимых типов из int в C ++

18 голосов
/ 10 августа 2011

Я знаю, что не могу получить от int, и это даже не нужно, это было только одно (не) решение, которое пришло мне в голову для решения проблемы ниже.

У меня есть пара (foo,bar) обаиз которых внутренне представлены int, но я хочу, чтобы typeof(foo) был несопоставим с typeof(bar).Это главным образом для того, чтобы я не мог передать (foo,bar) в функцию, которая ожидает (bar, foo).Если я правильно понимаю, typedef не будет этого делать, поскольку это только псевдоним.Что было бы самым простым способом сделать это.Если бы я создал два разных класса для foo и bar, было бы утомительно предоставить все операторы, поддерживаемые int.Я хочу этого избежать.

Ответы [ 3 ]

18 голосов
/ 10 августа 2011

В качестве альтернативы написанию этого документа вы можете использовать макрос BOOST_STRONG_TYPEDEF, доступный в заголовке boost/strong_typedef.hpp. 

// macro used to implement a strong typedef.  strong typedef
// guarentees that two types are distinguised even though the
// share the same underlying implementation.  typedef does not create
// a new type.  BOOST_STRONG_TYPEDEF(T, D) creates a new type named D
// that operates as a type T.

Так, например, 

BOOST_STRONG_TYPEDEF(int, foo)
BOOST_STRONG_TYPEDEF(int, bar)
10 голосов
/ 10 августа 2011 
template <class Tag>
class Int
{
   int i;
   public:
   Int(int i):i(i){}                //implicit conversion from int
   int value() const {return i;}
   operator int() const {return i;} //implicit convertion to int
};

class foo_tag{};
class bar_tag{};

typedef Int<foo_tag> Foo;
typedef Int<bar_tag> Bar;

void f(Foo x, Bar y) {...}
int main()
{
   Foo x = 4;
   Bar y = 10;
   f(x, y); // OK
   f(y, x); // Error
}
1 голос
/ 10 августа 2011

Вы правы, что вы не можете сделать это с typedef.Однако их можно обернуть в пару struct-enum или int, заключенную в struct. 

template<int N>
struct StrongType {  // pseudo code
  int i;
  StrongType () {}
  StrongType (const int i_) : i(i_) {}
  operator int& () { return i; }
  StrongType& operator = (const int i_) {
    i = i_;
    return *this;
  }
  //...
};

typedef StrongType<1> foo;
typedef StrontType<2> bar;

C ++ 0x решение : 

enum class foo {};
enum class bar {};
...