Проверка типа переменной на этапе компиляции

/////////////////////////////////////////////////////////////////////////////////////////
#include <regex>
#include <string>
#include <vector>
#include <utility>
#include <fstream>
#include <algorithm>
/////////////////////////////////////////////////////////////////////////////////////////
namespace tools
{
    /////////////////////////////////////////////////////////////////////////////////////
    template< class Char_type >
    class ini_file
    {
        //-------------------------------------------------------------------------------
        using Str_type              = std::basic_string<Char_type>;
        using File_type             = std::basic_fstream<Char_type>;
        using Input_file_type       = std::basic_ifstream<Char_type>;
        using Output_file_type      = std::basic_ofstream<Char_type>;
        using ini_map = std::vector<
                                std::pair<
                                            Str_type,
                                            Str_type
                                         >
                                   >;
        //-------------------------------------------------------------------------------
        enum { e_comment = '#', e_equal = '=' };
        //-------------------------------------------------------------------------------
    public:
        //-------------------------------------------------------------------------------
        ini_file( const Str_type& file_name );
        //-------------------------------------------------------------------------------
        void                    load_from_file( const Str_type& file_name );
        //-------------------------------------------------------------------------------
        void                    save_file();
        //-------------------------------------------------------------------------------
        const Str_type&         add( const Str_type& name_var, const Str_type& value );
        //-------------------------------------------------------------------------------
        void                    set( const Str_type& name_var, const Str_type& value );
        //-------------------------------------------------------------------------------
        const Str_type&         get( const Str_type& name_var );
        //-------------------------------------------------------------------------------
        const Str_type&  operator[]( const Str_type& name_var );
        //-------------------------------------------------------------------------------
    private:
        //-------------------------------------------------------------------------------
        Str_type               file_name_;
        ini_map                map_file;
    };
};
/////////////////////////////////////////////////////////////////////////////////////////
namespace tools
{
    //-----------------------------------------------------------------------------------
    template< class Char_type >
    using Str_type = std::basic_string<Char_type>;
    //-----------------------------------------------------------------------------------
    template< class Char_type >
    ini_file< Char_type >::ini_file( const Str_type& file_name )
    {
        load_from_file( file_name );
        file_name_ = file_name;
    }
    //-----------------------------------------------------------------------------------
    template< class Char_type >
    void ini_file< Char_type >::load_from_file( const Str_type& file_name )
    {
        Input_file_type file( file_name );
        if  ( !file )
        {
            throw std::runtime_error( "Error open file" );
        }
        Str_type copy_str{};
 
        while( !file.eof() )
        {
            std::getline( file, copy_str );
            if  ( copy_str.size() < 1 )
            {
                continue;
            }
            if  ( copy_str[0] == e_comment )
            {
                map_file.push_back( std::make_pair( copy_str, "" ) );
                continue;
            }
 
            std::match_results<typename Str_type::const_iterator> match_var;
 
            if( !std::regex_search( copy_str, match_var, std::regex( "(.*)=(.*)" ) ) )
            {
                throw std::runtime_error( "Incorrect string in file" );
            }
 
            map_file.push_back( std::make_pair( match_var[1], match_var[2] ) );
        }
        file_name_ = file_name;
    }
    //-----------------------------------------------------------------------------------
    template< class Char_type >
    void ini_file< Char_type >::save_file()
    {
        Output_file_type file( file_name_ );
        if  ( !file )
        {
            throw std::runtime_error( "Error open file" );
        }
 
        for(const auto& i : map_file )
        {
            if  ( i.first[0] == e_comment )
            {
                file << i.first << std::endl;
                continue;
            }
            file
                << i.first
                << e_equal
                << i.second
                << std::endl;
        }
    }
    //-----------------------------------------------------------------------------------
    template< class Char_type >
    const Str_type< Char_type >& ini_file< Char_type >::add(
                                            const Str_type& name_var,
                                            const Str_type& value
                                                )
    {
        auto iter = std::find_if(
                                    map_file.begin(),
                                    map_file.end(),
                                    [&name_var] (auto var)
                                    {
                                        return var.first == name_var;
                                    }
                                );
        if( iter != map_file.end() )
        {
            throw std::runtime_error( "This name[" + name_var + "] already registered!" );
        }
        map_file.push_back( std::make_pair( name_var, value ) );
        return map_file.at(map_file.size() - 1).second;
    }
    //-----------------------------------------------------------------------------------
    template< class Char_type >
    void ini_file<Char_type>::set( const Str_type& name_var, const Str_type& value )
    {
        auto iter = std::find_if(
                                    map_file.begin(),
                                    map_file.end(),
                                    [&name_var] (auto var)
                                    {
                                        return var.first == name_var;
                                    }
                                );
        if( iter == map_file.end() )
        {
            add( name_var, value );
        }
        else
        {
            iter->second = value;
        }
    }
    //-----------------------------------------------------------------------------------
    template< class Char_type >
    const Str_type< Char_type >&
                        ini_file< Char_type >::get( const Str_type& name_var )
    {
 
        auto iter = std::find_if(
                                    map_file.begin(),
                                    map_file.end(),
                                    [&name_var] (auto var)
                                    {
                                        return var.first == name_var;
                                    }
                                );
        if  ( iter == map_file.end() )
        {
            return add( name_var, "" );
        }
        return iter->second;
    }
    //-----------------------------------------------------------------------------------
    template< class Char_type >
    const Str_type< Char_type >&
                    ini_file< Char_type >::operator[]( const Str_type& name_var )
    {
        return get( name_var );
    }
    //-----------------------------------------------------------------------------------
};
 
#include <iostream>
#include "ini.hpp"
 
int main()
{
    tools::ini_file<char> ini( "gba.ini" );
    std::cout << ini["test2dwa"] << std::endl;
    ini.set( "gbalog", "ololo" );
    std::cout << ini.get("gbalog") << std::endl;
    try
    {
        ini.add( "gbalog", "ya_zanyal_chye-to_mesto" );
    }
    catch(...)
    {
        std::cerr << "Error" << std::endl;
    }
    std::cout << ini["gbalog"] << std::endl;
}