Scheme中一些函数在C++里面的实现与吐槽

 

    最终我失败了，这是显而意见，我试图在一个很看重类型是什么的语言中实现无类型操作，事实上，哪怕我实现了基本的cons，car，cdr，list后面的代码也无法写下去。比如说list-n，根据n的不同返回不同的类型，这个函数只能用一些奇淫怪巧来实现，和boost的代码库源代码一样的难度，我实现is_pair这种函数的时候，压根就没用到他那个函数，实现list时候，是一个大神妹子给我了解决方案，但是后续的代码有些能写，比如求list的长度，但是反正list第n项真心无法写，不是无法写，而是无法用递归写，我真心怀疑编译器会直接当掉在实例化模版参数的过程中。说了那么多废话，上代码吧，事实上，个人认为可行解只有使用指针以及一些怪怪的奇淫怪巧

#include <utility>

#include
<iostream>

 

namespace scheme

{

 

    using std::pair;

 

    template<typename
_CAR,typename
_CDR>

    pair<_CAR,_CDR> cons(_CAR
car,_CDR
cdr)

    {

        return std::make_pair(car,cdr);

    }

 

    template<typename
_CAR,typename
_CDR>

    _CAR car(const
pair<_CAR,_CDR>& cons)

    {

        return
cons.first;

    }

 

    template<typename
_CAR,typename
_CDR>

    _CDR cdr(const
pair<_CAR,_CDR>& cons)

    {

        return
cons.second;

    }

 

    template<typename
T>

    struct
_is_pair

        : std::tr1::false_type

    {

    };

 

    template<typename
_CAR,typename
_CDR>

    struct
_is_pair<pair<_CAR,_CDR>>

        : std::tr1::true_type

    {

    };

 

    template<typename
T>

    bool is_pair(T)

    {

        return
_is_pair<T>::value;

    }

 

    template <typename
_CAR, typename ... _REST>

    struct
_list_type

    {

typedef
pair<_CAR, typename
_list_type<_REST...>::type> type;

    };

 

    template <typename
_CAR, typename ... _REST>

    typename
_list_type<_CAR, _REST ...>::type list (_CAR
car, _REST ... rest)

    {

return cons(car, list(rest ...));

    }

 

    /*

    template<typename _CAR>

    pair<_CAR,nullptr_t> list(_CAR car)

    {

        return cons(car,nullptr);

    }

    

    template<typename _CAR,typename ... _REST>

    auto list(_CAR car,_REST ... rest) -> decltype(cons(car,list(rest ...)))

    {

        return cons(car,list(rest ...));

    }

    */

 

    template<typename
T>

    void display(const
T& t)

    {

        std::cout<<t;

    }

 

    void newline()

    {

        std::cout<<std::endl;

    }

}

 

最后吐槽一句，模版元编程哪怕写了无数的template<typename T>并不是意味着你可以不用类型写代码了，类型无处不在，这就是现在我对C++的看法

模版元编程不适合C++，唔，这就是我的观点了

终，欢迎来喷