Sfinae и иже с ним

#ifndef ENABLEIF
#define ENABLEIF
 
#include <algorithm>
 
//проверяем является ли тип С контейнером
template<typename C>
class is_container {
public:
    template<typename T>
    static bool is_cont(typename T::iterator* it) {
        return true;
    }
    template<typename T>
    static bool is_cont(...) {
        return false;
    }
    static bool value;
};
 
template<typename T>
bool is_container<T>::value = is_container<T>::is_cont<T>(0);   //ноль здесь т.к. указатель может быть нулем
 
template< bool Condition , typename C>
class PrintMsg {
public:
    static void print(C value){
        std::for_each(value.begin(), value.end(), [](typename C::value_type cc)->void {std::cout<<cc<<std::endl;});
    }
};
 
template<typename C>
class PrintMsg< false , C> {
public:
    static void print(C value){
        for(C cc: value)
            std::cout<<cc<<std::endl;
    }
};
 
#endif // ENABLEIF

#include "enableif.h"
#include <list>
#include <string>
 
#define PRINT(val)\
    PrintMsg<is_container<decltype(val)>::value, decltype(val)>::print(val)
 
int main()
{
std::list<std::string> list = {"hello", "world"};
char ssdf[3] = {'a', 'b', 'c'};
PRINT(ssdf);
//PRINT(list)
return 0;
}

#ifndef ENABLEIF
#define ENABLEIF
 
#include <algorithm>
#include <iostream>
#include <iterator>
 
 
 
 
//проверяем является ли тип С контейнером
template<typename C>
class is_container {
public:
    template<typename T>
    static constexpr bool is_cont(typename T::iterator * it) { //сделал constexpr
        return true;
    }
    template<typename T>
    static constexpr bool is_cont(...) {//сделал constexpr
        return false;
    }
    static constexpr bool value = is_container<C>::is_cont<C>(nullptr) ; //Перенес сюда, сделал constexpr
};
 
 
 
template< bool Condition , typename C>
class PrintMsg {
public:
    static void print(C value){
        std::for_each(value.begin(), value.end(), [](typename C::value_type cc)->void {std::cout<<cc<<std::endl;});
    }
};
 
 
 
 
template<typename C>
class PrintMsg< false , C> {
public:
    static void print(C & value){//Добавил ссылку
        for(auto & cc: value)//исправил C на auto&
            std::cout<<cc<<std::endl;
    }
};
 
 
#endif // ENABLEIF
 
 
 
#include <list>
#include <string>
 
#define PRINT(val) \
    PrintMsg<is_container<decltype(val)>::value, decltype(val)>::print(val)
 
 
int main()
{
std::list<std::string> list = {"hello", "world"};
char ssdf[3] = {'a', 'b', 'c'};
PRINT(ssdf);
PRINT(list) ;
return 0;
}

template <typename C>
struct is_container 
{
    template <typename T>
    static char(&is_cont(typename T::iterator *))[1];
    
    template <typename T>
    static char(&is_cont(...))[2];
    
    enum { value = sizeof(is_cont<C>(NULL)) == 1 };
};

int a = 1;
std::cout<<is_container<decltype(a)>::is_cont<decltype(a)>::value<<std::endl;

    template <typename T>
    static char(&is_cont(typename T::iterator *))[1];