Pomysł na bibliotekę. Czy coś takego się przyda? [ankieta]

Question

Mam do użytkowników foum pewne pytanie. Dłuższy czas myślałem nad stworzeniem biblioteki do C++. Zawierałaby ona komponenty potrzebne do sprawdzania właściwości danego typu (coś jak <type_traits>). Sprawdzałaby ona czy typ spełnia daną koncepcję (Concepts: http://en.cppreference.com/w/cpp/concept). Co to jest koncept? Odsyłam do wikipedii: https://en.wikipedia.org/wiki/Concepts_%28C%2B%2B%29. Przykład kodu:

template<typename Container>
struct Stack {
    static_assert(rdf::is_container<Container>::value,
                  "Argument szablonu 'Container' musi spełniać wymagania kontenera");
    // ...
};

Stack<std::vector<int>> stos1; // Brak błędu, std::vector<> spełnia wymagania kontenera
Stack<int> stos2; // Błąd w czasie kompilacji

W tym przypadku szablon rdf::is_container<> sprawdza czy podany typ (jako argument szablonu), spełnia wymagania 'Container' (http://en.cppreference.com/w/cpp/concept/Container). Pełen zarys biblioteki można znaleźć TU. Moje pytanie brzmi: czy taka biblioteka się komukolwiek przyda?

Możliwe odpowiedzi:

Ciekawy pomysł, może się przydać (2 głosów, 18%)

Pomysł niezły, ale raczej nie skorzystam (5 głosów, 45%)

Słaby pomysł, po co mi taka biblioteka (4 głosów, 36%)

2/10 do widzenia (0 głosów)

Answer 1

Spoko pomysl :)

Answer 2

W zasadzie biblioteka symulująca koncepty już istnieje, jako część Boosta: http://www.boost.org/doc/libs/1_59_0/libs/concept_check/reference.htm

No i jeśli chcesz się pobawić z prawdziwymi konceptami to obecny trunk GCC6 ma dla nich wsparcie od trochę ponad tygodnia.

Comments

O bibliotece Boosta słyszałem już wcześniej, jednak z tego co widzę nie wszystkie koncepty można sprawdzić z użyciem tej biblioteki. Będę musiał też ogarnąć te prawdziwe koncepty, bo z tego co póki co wiem to świetne narzędzie ;)

---

Jakby co, oficjalny dokument o konceptach (a więc i obecne wsparcie GCC6) ogranicza się do samej ich funkcjonalności - możesz więc je normalnie definiować i używać. Nie definiuje jednak żadnych faktcznych konceptów, więc w GCC trzeba je samemu zdefiniować (co sam robię w wolnym czasie). Pierwszy obecnie opracowywany dokument który między innymi wprowadza je do biblioteki standardowej to https://github.com/ericniebler/stl2/blob/master/DXXXX.pdf.