typesafe typedef w C++

Chciałbym użyć czegoś podobnego do typedef w moich programach w C++, aby zwiększyć bezpieczeństwo typów.typesafe typedef w C++

Jako przykład, przypuśćmy że dwa zadania

void function1(unsigned idOfType1); 
void function2(unsigned idOfType2);

następnie można omyłkowo przechodzą idOfType2 do Function1 i vice versa. Chcę, aby kompilator dał mi błąd w tym przypadku. Jestem świadomy, że mógłbym zawinąć te niepodpisane w struct, ale wtedy musiałbym podać nazwę pola i użyć ., aby uzyskać do nich dostęp, co jest nieco niewygodne. Czy istnieje dobry sposób obejścia tego?

Edycja: O ile mi wiadomo, typedef nie będzie działać w tym celu, ponieważ jest skrótem dla typu i nie będzie używany do sprawdzania typu.

Źródło

2012-03-06 Paul

wyliczenia działa dobrze w twoim przypadku ... –

@AlexanderPawlowska troska o szczegóły, nie jest dla mnie oczywista ... – Paul

@Paul: możesz napisać coś w rodzaju 'enum Type1 {dummy0 = 1, dummy1 = 1 << 1, dummy2 = 1 < <2, ..., dummy31 = 1 << 31}; ', i zakładając' unsigned' jest 32-bitowym typem twojej implementacji, wynikiem jest wyliczenie, które może zawierać dowolną wartość 'unsigned'. Wtedy 'void function1 (Type1 id)' nie zaakceptuje 'Type2', ponieważ enums nie są niejawnie wymienialne dla siebie. –

Tak jak mówisz, typedef nie pomoże ci tutaj. Nie mogę wymyślić lepszego sposobu od razu, jednak jeśli użyjesz swojego zawijania w opcji struct/class, możesz użyć operatora konwersji, aby wyeliminować metodę elementu lub wywołanie funkcji.

Na przykład:

struct WrappedType 
{ 
    operator type() 
    { 
     return _value; 
    } 

    type _value; 
}

Nie mówię, że to jest sposób zrobić to przeszkadza Ci ;-)

Źródło

2012-03-06 16:44:48 Konrad

czy możesz pokazać mi, w jaki sposób mogę użyć operatora typu? Boost silny typedef wygląda ogólnie na dobrą opcję, ale Jeśli nie rozumiem, to interesuje mnie to rozwiązanie! – Paul

O ile rozumiem, to właśnie to jest silne wzmocnienie typedef ... – Griwes

@Konrad świetnie! Dzięki za opracowanie. Jeśli nie mogę użyć wzmocnienia silnym typedef wtedy użyję tego rozwiązania – Paul

Zastosowanie Boost strong typedef:

typedef tworzy alias dla istniejącego typu. Nie tworzy nowy typ, który może być używany do dopasowania ani funkcji lub parametrów szablonu ...

Wykorzystanie BOOST_STRONG_TYPEDEF rozwiązuje ten ...

BOOST_STRONG_TYPEDEF jest makro, które generuje klasę o nazwie „nazwa” okłady oraz przykład jego pierwotnego typu i zapewnia odpowiednie operatory konwersji, aby nowy typ mógł być zastępowalny dla tego, który się otacza.

Źródło

2012-03-06 16:44:00

Powinienem Cię zainteresować. sprawdzone zwiększenie przed pytaniem ... dziękuję za szybką odpowiedź! – Paul

Należy pamiętać, że Zwiększenie silnego typedef umożliwia niejawną konwersję w zadaniach – larsch

Jest C++ 11 funkcja o nazwie enum class, który jest zasadniczo jest to rodzaj wyliczenia bezpiecznego. Może oni mogą pomóc tutaj.

Źródło

2012-03-06 16:46:30 ebutusov

'wyliczenia są zawsze chronione przed atakami, np. 'enum x {a}; enum y {b}; y = a; 'nie skompilowałoby się.- –

@phresnel Myślę, że jest to tylko półprawda, ponieważ wyliczenia będą niejawnie konwertowane na ints, nie? – Paul

@Paul: Zgadzamy się na 0.75 * prawda, ponieważ przeciwieństwo nie jest prawdą. Więc wydaje się, że wyliczenia są w 75% bezpieczne, ... –

-2

Możesz sprawdzić typ swojej funkcji, aby w razie niezgodności można było wydrukować błąd lub coś podobnego.

Można użyć typeid wykryć typ zmiennej, jak następuje:

typeid(*variablename*).name()

Jak sugeruje w jednym z odpowiedziami here, to kompilator zależne i trzeba użyć metody prób i błędów, aby znaleźć która wartość działa dla Ciebie.

Źródło

2012-03-06 17:41:33 MMS

Ale musiałbym to zrobić w __every__ wywołaniu funkcji + zależnym od kompilatora? przepraszam, nie sądzę, że to jest dobry wybór ... – Paul

Nie działa mimo to - typ parametru "idOfType1" w "function1' jest zawsze" unsigned ". To, co zostało przekazane przez osobę dzwoniącą, zostało już przekonwertowane. –

Chcę tego w języku. Nie jest to odpowiedź per se, ale ... :)

Opaque typedefs

Źródło

2014-03-04 02:45:41

To późno odpowiedź na starym pytaniem.Ale są nowe wydarzenia na C++ przed i w trosce o kompletność Dodaję tej odpowiedzi:

opaque_typedef biblioteka jest próba autora, aby zapewnić najbardziej wartości kryjących typedefs przez biblioteki, bez czekania na nieprzejrzysty typedefs, aby stać się funkcją językową.

Autor tej biblioteki, Kyle Markley, wprowadził bibliotekę short brilliant speech at the cppcon 2015. Slajdy jego przemówienia znajdują się pod numerem github, kod źródłowy biblioteki jest dostępny pod adresem sourceforge. Biblioteka jest tylko nagłówkowa, napisana w C++ 11. Gcc i clang są ok, ale VS2015 wydaje się mieć z tym problemy.

Korzystanie z biblioteki jest proste. Poniższy kod został zaczerpnięty z dokumentacji. Tworzy nieprzezroczysty typedef z int. Ma ten sam interfejs jako int (można go dodawać, przesunięte, zwiększana w porównaniu itp), ale argumenty i zwracane wartości są nowo utworzonego typu, nie stanowi int:

#include "opaque/numeric_typedef.hpp" 

struct myint : opaque::numeric_typedef<int, myint> { 
    using base = opaque::numeric_typedef<int, myint>; 
    using base::base; 
};

Źródło

2016-03-14 10:40:51 user23573

typesafe typedef w C++

Odpowiedz

Powiązane problemy