Concatenate compile-time strings in a template at compile time?

by

You could use something like this. Everything happens at compile time. Specialize base_typename_struct to define your primitive types.

template <const char* str, int len, char... suffix>
struct append {
  static constexpr const char* value() {
    return append<str, len-1, str[len-1], suffix...>::value();
  }
};

template <const char* str, char... suffix>
struct append<str, 0, suffix...> {
  static const char value_str[];
  static constexpr const char* value() {
    return value_str;
  }
};

template <const char* str, char... suffix>
const char append<str, 0, suffix...>::value_str[] = { suffix..., 0 };


template <typename T>
struct base_typename_struct;

template <>
struct base_typename_struct<int> {
  static constexpr const char name[] = "int";    
};


template <typename T, char... suffix>
struct typename_struct {
  typedef base_typename_struct<T> base;
  static const char* name() {
    return append<base::name, sizeof(base::name)-1, suffix...>::value();
  }
};

template <typename T, char... suffix>
struct typename_struct<T*, suffix...>:
  public typename_struct<T, '*', suffix...> {
};


int main() {
  cout << typename_struct<int****>::name() << endl;
}

More Related Contents:

  1. void_t “can implement concepts”?
  2. Optimization code for a debug function (c++11 with templates) [closed]
  3. C++11 does not deduce type when std::function or lambda functions are involved
  4. C++ template typedef
  5. initializer_list and move semantics
  6. Conveniently Declaring Compile-Time Strings in C++
  7. Why is conversion from string constant to ‘char*’ valid in C but invalid in C++
  8. How to convert a lambda to an std::function using templates
  9. static_assert fails compilation even though template function is called nowhere
  10. Determine if a type is an STL container at compile time
  11. trailing return type using decltype with a variadic template function
  12. Creating an array initializer from a tuple or variadic template parameters
  13. Selecting a member function using different enable_if conditions
  14. When to use std::forward to forward arguments?
  15. Split a string using C++11
  16. How to make generic computations over heterogeneous argument packs of a variadic template function?
  17. How do I properly use std::string on UTF-8 in C++?
  18. What does this variadic template code do?
  19. SFINAE works differently in cases of type and non-type template parameters
  20. Expansion with variadic templates [duplicate]
  21. Can the point-of-instantiation be delayed until the end of the translation unit?
  22. Default template argument when using std::enable_if as templ. param.: why OK with two template functions that differ only in the enable_if parameter?
  23. TMP: how to generalize a Cartesian Product of Vectors?
  24. How to pass a template function in a template argument list
  25. Why the initializer of std::function has to be CopyConstructible?
  26. Interfacing C++11 array with Cython
  27. std::is_base_of for template classes
  28. Why does overload of template and non-template function with the “same signature” call the non-template function?
  29. How to combine std::bind(), variadic templates, and perfect forwarding?
  30. Lambdas and std::function

Leave a Comment