Czy można napisać szablon, który zmienia zachowanie w zależności od tego, czy określona funkcja elementu jest zdefiniowana w klasie? Oto prosty przykład tego, co chciałbym napisać: template<class T> std::string optionalToString(T* obj) { if (FUNCTION_EXISTS(T->toString)) return...
Jak mogę iterować po krotce (używając C ++ 11)? Wypróbowałem następujące: for(int i=0; i<std::tuple_size<T...>::value; ++i) std::get<i>(my_tuple).do_sth(); ale to nie działa: Błąd 1: przepraszam, nie zaimplementowano: nie można rozwinąć „Listener ...” do listy argumentów o...
Powiedziano mi, że system szablonów w C ++ jest kompletny Turing w czasie kompilacji. Jest to wspomniane w tym poście, a także na Wikipedii . Czy możesz podać nietrywialny przykład obliczenia wykorzystującego tę właściwość? Czy ten fakt jest przydatny w
Pytanie jest pogrubione u dołu, problem jest również podsumowany fragmentem kodu destylacji pod koniec. Próbuję ujednolicić mój system typów (system typów robi do i od typu do ciągu) w jeden komponent (zgodnie z definicją Lakos). Używam boost::array, boost::variantoraz boost::mplw celu...
Mam funkcję, która przyjmuje wielowymiarowość std::vectori wymaga podania głębokości (lub liczby wymiarów) jako parametru szablonu. Zamiast na stałe wpisywać tę wartość, chciałbym napisać constexprfunkcję, która pobierze std::vectori zwróci głębokość jako unsigned integerwartość. Na...
Czy ktoś może mi wyjaśnić, dlaczego pierwszy sposób metaprogramowania szablonów prowadzi do nieskończonej pętli, ale drugi działa poprawnie. #include <iostream> using namespace std; template<int N, int M> struct commondivs { static const int val = (N<M) ?...
Skoro pojęcia są zdefiniowane jako predykaty czasu kompilacji, czy możliwe jest również ponowne wykorzystanie tych predykatów dla algorytmów kompilacji? Czy na przykład można sprawdzić, czy wszystkie typy w krotce są zgodne z koncepcją? O ile widziałem, nie można w żaden sposób przekazać koncepcji...
Czy następujący kod jest prawidłowy? template <int N> class foo { public: constexpr foo() { for (int i = 0; i < N; ++i) { v_[i] = i; } } private: int v_[N]; }; constexpr foo<5> bar; Clang to akceptuje, ale GCC i MSVC to odrzucają. Błąd GCC to: main.cpp:15:18: error:...