Note: the following code is taken from an excellent utility called pretty-print written by @Kerrek SB (a topic on it at stackoverflow). Disclaimer : I don’t know if I’m allowed to copy and paste this code here without taking permission from the original author. @Kerrek, let me know if you’ve any issue. 🙂 You can … Read more
Using Walter Brown’s void_t: template <typename…> using void_t = void; It’s very easy to make such a type trait: template<typename T, typename = void> struct has_to_string : std::false_type { }; template<typename T> struct has_to_string<T, void_t<decltype(std::to_string(std::declval<T>()))> > : std::true_type { };
I’ve done a turing machine in C++11. Features that C++11 adds are not significant for the turing machine indeed. It just provides for arbitrary length rule lists using variadic templates, instead of using perverse macro metaprogramming :). The names for the conditions are used to output a diagram on stdout. i’ve removed that code to … Read more
I have an answer based on Iterating over a Tuple: #include <tuple> #include <utility> #include <iostream> template<std::size_t I = 0, typename… Tp> inline typename std::enable_if<I == sizeof…(Tp), void>::type print(std::tuple<Tp…>& t) { } template<std::size_t I = 0, typename… Tp> inline typename std::enable_if<I < sizeof…(Tp), void>::type print(std::tuple<Tp…>& t) { std::cout << std::get<I>(t) << std::endl; print<I + 1, … Read more
Templated check for the existence of a class member function?