using std::is_same, why my function still can’t work for 2 types

by

Both branches of if–else statement must be compilable, which are not in your case. One of many possible solutions that is based on partial specialization and should work even in C++98:

template <typename Cont>
struct element_accessor;

template <typename T>
struct element_accessor<std::stack<T>> {
   const T& operator()(const std::stack<T>& s) const { return s.top(); }
};

template <typename T>
struct element_accessor<std::queue<T>> {
   const T& operator()(const std::queue<T>& q) const { return q.front(); }
};

template<typename Cont>
void print_container(Cont& cont){
   while(!cont.empty()){
      auto elem = element_accessor<Cont>{}(cont);
      std::cout << elem << '\n';
      cont.pop();
   }
}

A C++17 solution with if constexpr:

template<template<class> typename Cont, typename T>
void print_container(Cont<T>& cont){
   while(!cont.empty()){
      if constexpr (std::is_same_v<Cont<T>, std::stack<T>>) 
         std::cout << cont.top() << '\n';
      else if constexpr (std::is_same_v<Cont<T>, std::queue<T>>) 
         std::cout << cont.front() << '\n';
      cont.pop();
   }
}

More Related Contents:

  1. C++ class with template member variable
  2. Switch passed type from template
  3. Template type deduction in C++ for Class vs Function?
  4. C++11 does not deduce type when std::function or lambda functions are involved
  5. Can someone explain this template code that gives me the size of an array? [duplicate]
  6. How to handle wrong data type input
  7. Why can’t I use float value as a template parameter?
  8. Explicit specialization in non-namespace scope [duplicate]
  9. Accessing inherited variable from templated parent class [duplicate]
  10. SFINAE to check for inherited member functions
  11. How do I check if a C++ string is an int?
  12. Template Constraints C++
  13. CRTP to avoid dynamic polymorphism
  14. Passing a variable as a template argument
  15. C++17 class template partial deduction
  16. How can I declare a member vector of the same class?
  17. C++ preprocessor: avoid code repetition of member variable list
  18. How does the standard library implement std::swap?
  19. Template specialization of a single method from a templated class
  20. Template class with template container
  21. Expansion with variadic templates [duplicate]
  22. Variadic deduction guide not taken by g++, taken by clang++ – who is correct?
  23. Reason for using non-type template parameter instead of regular parameter?
  24. C++ overloaded function as template argument
  25. C++ template, linking error [duplicate]
  26. C++ Template Metaprogramming – Is it possible to output the generated code?
  27. Why the initializer of std::function has to be CopyConstructible?
  28. pointer as non-type template argument
  29. Const and non const template specialization
  30. How does std::forward receive the correct argument?

Leave a Comment