欧美日韩一区在线播放,亚洲欧美日韩国产中文,亚洲久色影视

��M��W�记《C++设计新思维�?8) 边界标记�Q�NullType和EmptyType

Tommy Liang — Sun, 05 Feb 2006 17:29:00 GMT

书里面说的这个词�Q?BR>型别计算的边界标�?BR>
NullType只有声明没有定义�?/P>

class NullType;

�q�是��Z��表达“我不是个��o人感兴趣的型别”，可以作�ؓ“找不到型别”的消息标记。类似\0�q�样�?BR>
EmptyType�Q�就是一个空�c?BR>

struct EmptyType {};

�q�是可被�l�承的合法型别，可以作�ؓtemplate的缺省参数型别�?img src ="http://www.shnenglu.com/tommy/aggbug/3081.html" width = "1" height = "1" />

Tommy Liang 2006-02-06 01:29 发表评论

Tommy Liang — Sun, 05 Feb 2006 17:20:00 GMT

std::type_info�c�d��以在执行期间查询对象型别�Q�但使用��h��比较�ȝ��。�ؓ此定义了wrapper

下面的代码出�?Loki库：
��d��来说是提供了std::type_info的所有成员函敎ͼ�
提供了value语义�Q�即public copy构造函数和public assignment操作�W�；
定义�?operator< �?operator== �{?BR>

namespace Loki
{
////////////////////////////////////////////////////////////////////////////////
// class TypeInfo
// Purpose: offer a first-class, comparable wrapper over std::type_info
////////////////////////////////////////////////////////////////////////////////

    class TypeInfo
    {
    public:
        // Constructors
        TypeInfo(); // needed for containers
        TypeInfo(const std::type_info&); // non-explicit

        // Access for the wrapped std::type_info
        const std::type_info& Get() const;
        // Compatibility functions
        bool before(const TypeInfo& rhs) const;
        const char* name() const;

    private:
        const std::type_info* pInfo_;
    };

// Implementation

    inline TypeInfo::TypeInfo()
    {
        class Nil {};
        pInfo_ = &typeid(Nil);
        assert(pInfo_);
    }

    inline TypeInfo::TypeInfo(const std::type_info& ti)
    : pInfo_(&ti)
    { assert(pInfo_); }

    inline bool TypeInfo::before(const TypeInfo& rhs) const
    {
        assert(pInfo_);
        return pInfo_->before(*rhs.pInfo_) != 0;
    }

    inline const std::type_info& TypeInfo::Get() const
    {
        assert(pInfo_);
        return *pInfo_;
    }

    inline const char* TypeInfo::name() const
    {
        assert(pInfo_);
        return pInfo_->name();
    }

// Comparison operators

    inline bool operator==(const TypeInfo& lhs, const TypeInfo& rhs)
    { return (lhs.Get() == rhs.Get()) != 0; }

    inline bool operator<(const TypeInfo& lhs, const TypeInfo& rhs)
    { return lhs.before(rhs); }

    inline bool operator!=(const TypeInfo& lhs, const TypeInfo& rhs)
    { return !(lhs == rhs); }

    inline bool operator>(const TypeInfo& lhs, const TypeInfo& rhs)
    { return rhs < lhs; }

    inline bool operator<=(const TypeInfo& lhs, const TypeInfo& rhs)
    { return !(lhs > rhs); }

    inline bool operator>=(const TypeInfo& lhs, const TypeInfo& rhs)
    { return !(lhs < rhs); }
}

Tommy Liang 2006-02-06 01:20 发表评论

Tommy Liang — Sun, 05 Feb 2006 17:11:00 GMT

在编译时刻，在Conversion�c�M��产生两个常数�Q�编译器帮忙计算�Q?BR>

template <class T,class U>
class Conversion
{
    //
public:
    enum { exists2Way = exists && Conversion<U,T>::exists };
        enum { sameType = false };
};

一个是 exists2Way�Q�表�C�是否可以两个类型互相�{换，
sameType 表示 T和U是否同一个类型�?BR>不过�Q�虽然书里这么说�Q�我怎么都搞不懂��Z��么这样可以，��试也是不对的，��N��q�个sameType的写法还有别的奥妙？
不过下面�q�个偏特的写法倒是比较�Ҏ��理解�Q?BR>

template <class T>
class Conversion<T,T>
{
public:
enum { exists = 1,exists2Way = 1,sameType = 1 };
};

�q�个��试是OK的�?BR>
有了�q�几个常敎ͼ�要决定两个class之间是否存在�l�承关系��比较容易了�Q?BR>

#define SUPERSUBCLASS(T,U) \
(Conversion<const U*, const T*>::exists && \
!Conversion<const T*, const void*>::sameType)

如果U是public�l�承自T�Q�或者T和U是同一个类�Q�那么SUPERSUBCLASS(T,U)传回true�Q�这里是把某个class视�ؓ自己的超�c�，更严谨的做法是：

#define SUPERSUBCLASS_STRICT(T,U) \
(SUPERSUBCLASS(T,U) && \
!Conversion<const T, const U>::sameType)

��x��除T与U是同一个类型的情况�?BR>
另外�Q�加�?const 是�ؓ�?防止因�ؓ const 而导致�{型失败，对于已经是const的东西再const一�ơ的话后面一�ơ的const会忽略掉�?BR>
再，�q�个宏的名字很清晎ͼ��是 ��类--子类�Q?前面那个T是超�c�，U是子�c�，�q�个命名�?INHERITS要好�?img src ="http://www.shnenglu.com/tommy/aggbug/3079.html" width = "1" height = "1" />

Tommy Liang 2006-02-06 01:11 发表评论

Tommy Liang — Sat, 04 Feb 2006 21:34:00 GMT

��是�q�样一个类�Q?BR>

template <class T,class U>
class Conversion
{
    typedef char Small;
    class Big { char dummy[2]; };
    static Small Test(U);
    static Big Test();
    static T MakeT();
public:
    enum { exists = sizeof(Test(MakeT())) == sizeof(Small) };
};

关于函数 Small Test(U) �?Big Test(...) �Q�书里面��_��

。。。需要两个重载函敎ͼ�其一如先前所��_��接受一个U对象�q�传回一个Small对象�Q?BR>Small Test(U);
但接下来�Q�我该如何写��Z��个可接受��M��其他�U�对象的函数呢？。。。�?/SPAN>

我觉得这个地方翻译得有点问题�Q�是不是应该��_��“。。我该如何写��Z��个可接受��M��另外一�U�类型（�?T�Q�的对象的函数呢。。”，因�ؓ�q�里��是 T和U嘛，没有什么“其他种”，�q�样��译�Ҏ��让我�q�h��不解了一会儿�?BR>
如果接受 U的那个函数被调用�Q�则T可以被�{换�ؓ U�Q�否则无法�{换，�q�个是思�\的根本�?/FONT>

��Z��么要做一�?MakeT�q�样的函数而不直接使用T呢？ �q�是��Z��满��?T 只有�U�有构造函数的情况�Q�对于编译器来说�Q�sizeof 是在�~�译期完成评估的�Q�所以，MakeT 里面到底做了什么�ƈ不重要，重要的是他返回的�c�d��Q�是 T�Q�所以，作者很兴奋地说�Q�这是一�?StrawMan function�Q�即“稻草�h函数”，哈哈�Q�只是一个样子而已�Q�但是这已经��_��了，那两个重载的Test�Ҏ��也是一��P��q�里我们不关心他的函��C��。强啊，爽歪歪，快感的源泉啊

��试代码如下�Q?BR>

    using namespace std;

    cout << Conversion<double, int>::exists << ' '
        << Conversion<char, char*>::exists << ' '
        << Conversion<size_t, vector<int> >::exists << ' ';

输出�Q?1 0 0
double可以转换�?int
char 不能转换�?char*
vector 是一个容器的构造函敎ͼ�size_t 不能转换�Q�因��个构造函数是 explicit�?�q�个地方�q�是有点�q�L��Q�还得研�I�一下�?img src ="http://www.shnenglu.com/tommy/aggbug/3059.html" width = "1" height = "1" />

Tommy Liang 2006-02-05 05:34 发表评论

��M��W�记《C++设计新思维�?4) Type Selection

Tommy Liang — Sat, 04 Feb 2006 20:53:00 GMT

睡不着�Q��l�读�?BR>
有时候，范型�E�序需要根据一个boolean变量来选择某个型别或另一个型别�?BR>下面定义的结构提��Z��解决�Ҏ��Q?BR>

template <bool flag,typename T,typename U>
struct Select
{
typedef T Result;
};
//偏特�?/SPAN>
template <typename T,typename U>
struct Select<false,T,U>
{
typedef U Result;
};

也就是说�Q�如果flag是true�Q�则�~�译器��用第一份定义，即Result被定义�ؓT�Q?BR>如果是false,则偏特化机制起作用，Result被定义�ؓ U

偏特化真强，全在乎想象力�?img src ="http://www.shnenglu.com/tommy/aggbug/3057.html" width = "1" height = "1" />

Tommy Liang 2006-02-05 04:53 发表评论

��M��W�记《C++设计新思维�?3) Type2Type的意�?

Tommy Liang — Sat, 04 Feb 2006 20:40:00 GMT

��是�q�样一个结构：

template <typename T>
struct Type2Type
{
typedef T OriginalType;
};

假定有个片断如下�Q�创��Z��个T*

template <class T,class U>
T* Create(const U& arg)
{
return new T(arg);
}

如果对于某个�c�d��“Widget”，其ctor要有两个参数�Q�比如第二个参数必须�?1�Q�对于旧的代码来��_��谁知道呢:)�Q�，但又不想另外创徏一个“CreateWidget”方法，那么怎么办呢�Q�函数是不能偏特化的�Q�即如下代码�Q?BR>

//错误的代�?BR>template <class U>
Widget* Create<Widget,U>(const U& arg)
{
return new Widget(arg,-1);
}

�?VC7下会报告�Q�非法��用显式模板参�?BR>
只能使用函数重蝲�Q�比如：

template <class T,class U>
T* Create(const U&arg,T /*虚拟*/)
{
return new T(arg);
}

template <class U>
Widget * Create(const U& arg, Widget /*虚拟*/)
{
return new Widget(arg,-1);
}

�q�样是可以解决问题，但最大的毛病在于�q�行时构造了未被使用的对象这个开销�Q�虚拟的Widget参数�Q�。这�?Type2Type �q�个咚咚出场了，按照书的说法�Q�这是“一个型别代表物、一个可以让你传�l�重载函数的轻量�U�ID”，如下�Q?BR>

template <class T,class U>
T* Create(const U& arg,Type2Type<T>)
{
return new T(arg);
}

template <class U>
Widget * Create(const U& arg,Type2Type<Widget>)
{
return new Widget(arg,-1);
}

调用方：
String *pStr = Create("hello",Type2Type<String>());
Widget *pW = Create(100,Type2Type<Widget>());

关键是，�q�个东西也是�l�编译器看的�Q�妙

Tommy Liang 2006-02-05 04:40 发表评论

Tommy Liang — Mon, 23 Jan 2006 18:20:00 GMT

��是�q�么一个模板结构，所有的价值在于编译时��L��据常数调用不同函数或者编译期实施�~�译分支的分�z��?/P>

template <int v>
struct Int2Type
{
enum { value = v };
};

如下�Q?BR>

template <typename T, bool isPolimorphic>
class NiftyContainer
{
private:
    void DoSomething( T* pObj, Int2Type<true>)
    {
        T* pNewObj = pObj->Clone();
    }
    void DoSomething( T* pObj, Int2Type<false>)
    {
        T * pNewObj = new T(*pObj);
    }
public:
    void DoSomething(T * pObj)
    {
        DoSomething(pObj, Int2Type<isPolimorphic>());
    }
};

如果没有�q�个 Int2Type�Q�是不可能实��C��个“重载”函�?DoSomething( .. Int2Type)�?DoSomething(...Int2Type)的，NiftyContainer的参�?isPolimorphic只能取true或者false�Q�实际上�~�译出来的要么是前一个函敎ͼ�要么是后一个函数�?BR>如果没有�q�个Int2Type�Q�最�Ҏ��惛_��的就是像下面�q�样做：

if (isPolimorphic)
{
T * pNewObj = pSomeObj->Clone();
}
else
{
T * pNewObj = new T (*pSomeObj);
}

如果多态算法��?pObj->Clone(),那么对于��M��一个未曑֮��?Clone函数�Q�即isPolimorphic==false�Q�的�c�L��_��q�里的前一个分支是�~�译��p�|的。反之，如果 isPolimorphic == true�Q�是不是后面那个分支��׃��证没问题�Q�一定能通过呢？不是的，如果有一个类设计成�ؓ�?Clone函数�Q�但是构造函数是�U�有的，��׃��行咯�?BR>
所以， Int2Type是跟�~�译器说�Q�嘿�Q�不要去��那个我不关心的分支�?

妙啊�Q?img src ="http://www.shnenglu.com/tommy/aggbug/2996.html" width = "1" height = "1" />

Tommy Liang 2006-01-24 02:20 发表评论

��M��W�记《C++设计新思维�?1) Template Template 参数

Tommy Liang — Fri, 20 Jan 2006 20:39:00 GMT

下面的代码，所�?"Template Template 参数"�Q�在 VC6 下面�~�译是会报告“template can't be nested”的�Q�幸好， VC7是能成功�~�译的，否则�q�本《C++设计新思维》就很难看下��M��Q?IMG height=19 src="http://www.shnenglu.com/Emoticons/teeth_smile.gif" width=19 border=0>

template <class T>
struct OpNewCreator
{
    static T* Create()
    {
        return new T;
    }
};
template <class T>
struct MallocCreator
{
    static T* Create()
    {
        void * buf = std::malloc(sizeof(T));
        if (! buf ) return 0;
        return new(buf) T;
    }
};
template <class T>
struct PrototypeCreator
{
    PrototypeCreator(T* pObj = 0) : pPrototype_(pObj)
    {}
    T * Create()
    {
        return pPrototype_ ? pPrototype_->Clone() : 0;
    }
    T* GetPrototype() { return pPrototype_; }
    void SetPrototype(T * pObj) { pPrototype_ = pObj; }
private:
    T* pPrototype_;
};

class Widget
{
};

template <template <class Created> class CreationPolicy>
class WidgetManager : public CreationPolicy<Widget>
{
    //
};

int _tmain(int argc, _TCHAR* argv[])
{
    typedef WidgetManager< OpNewCreator >  myWidgetMgr;

    return 0;
}

Tommy Liang 2006-01-21 04:39 发表评论

欧美日韩一区在线播放,亚洲欧美日韩国产中文,亚洲久色影视

��M���W�记《C++设计新思维�?8) 边界标记�Q�NullType和EmptyType

��M���W�记《C++设计新思维�?4) Type Selection

��M���W�记《C++设计新思维�?3) Type2Type的意�?

��M���W�记《C++设计新思维�?1) Template Template 参数

��M��W�记《C++设计新思维�?8) 边界标记�Q�NullType和EmptyType

��M��W�记《C++设计新思维�?4) Type Selection

��M��W�记《C++设计新思维�?3) Type2Type的意�?

��M��W�记《C++设计新思维�?1) Template Template 参数