99精品国产综合久久久久五月天,一本伊大人香蕉久久网手机,亚洲а∨天堂久久精品9966

to be continue

崇文 — Tue, 05 Jan 2010 13:51:00 GMT

�q�切地想要写点什么，却不知从何开头。这些天看的东西很杂�Q�看《c++模板元编�E�》看得头大，看《深入浅出ATL》苦于无法实践，做题也没心思，又纠�l�于快要�l�课的考试。�Ş了，静心潜修才是正道。但��d��提炼一下这混�ؕ的思想�Q�不�?#8220;脑黄�?#8221;��p��随着“豆腐�?#8221;被时间的潮水冲走了。先拟个题目�Q�待考试一完就来补上�?/p>

杂项�Q�boost mpl 中的�q�代器、算法与其它�?/strong>

题目有点大，只能��力研究源码�Q�尽量多写。好�Q�目标在此，留待再议�?/p>

崇文 2010-01-05 21:51 发表评论

一些图

崇文 — Wed, 30 Dec 2009 13:19:00 GMT
      很久以前处于一�U�百无聊赖的状态做的图�Q�先存这�?br>

崇文 2009-12-30 21:19 发表评论

崇文 — Sat, 19 Dec 2009 12:53:00 GMT

     题目及解题程序给在末��，先来看看排列一个数�l�的�Ҏ(gu��)��?/p>
     �l�定一个数�l?array[] = {3, 1, 2, 4, 0}; �q�个�l�定的数�l�有目的性，卛_��W�合 n * m 的规则，�q�里�?5 * 5�Q?个元素，5个连�l�且不同的��|��。按我想到的一般的�Ҏ(gu��)��Q�就是��用��@环来求出各种排列的可能，但这�U�方法不能确保每个元素只出现一�ơ，且随着元素个数的增长，循环深度��变得很深。��l�想下去�Q�这�U�方法将会变得很复杂�Q�这��p��求我��L��另外一�U�方法。注意到每个元素�q�不相同�Q�那么要使各个元素在每个位置上只出现一�ơ，很明昄��一�U�方法就是“彩��机�ȝ��法”。比如数据读入口在第一个元素的位置�Q�那么依�ơ��@环这个数�l�，每次使后面的元素向前�U�d��一位，各个数字不就都读��C��吗，�q�就像在打印��Z��滚动的纸。具体步骤如下：

31240
12403 <—rotate
     �W�一位如此，那么后面的每一位也如此�Q�也��是递归地处理后面的数字�Q�每�U�d��一位就以下一位�ؓ��L��做相同的处理�Q�直到所有数字��@环了一遍，那排列的工作也就完成了。一个具体的实现如下�Q?pre class="code">/* * @param r: 需要求其排列的向量 * @param iPos: 当前所�q�行到的位置 * �E�序体中的注释表�C�处于那个位�|�的向量都是一个新的且唯一的排�? */
void rotate(vector<int>& r, int iPos) { if(iPos == r.size() - 1)//是否循环完毕�Q�调用函数时 iPos �|? return; int iNextPos = iPos + 1; for(size_t i = iPos; i < r.size(); ++i) { if(i == 0) { //a different permutation, do something here } int t = r[iPos]; for(size_t j = iPos; j < r.size() - 1; ++j)//循环前移 r[j] = r[j + 1]; r[r.size() - 1] = t; if(i != r.size() - 1) { //a different permutation, do something here } rotate(r, iNextPos);//从下一位数字开始新的位�U? } }
�q�种�Ҏ(gu��)��不要求数字式�q�箋的，也不用事先规定好向量的长度。只是当向量长度��C��一定的时候，�q�算旉��会很长！其它�Ҏ(gu��)��未知…�?/pre>
topcoder 上的�l�习题如下：

Problem Statement
A permutation A[0], A[1], ..., A[N-1] is a sequence containing each integer between 0 and N-1, inclusive, exactly once. Each permutation A of length N has a corresponding child array B of the same length, where B is defined as follows:
B[0] = 0
B[i] = A[B[i-1]], for every i between 1 and N-1, inclusive.
A permutation is considered perfect if its child array is also a permutation. Below are given all permutations for N=3 with their child arrays. Note that for two of these permutations ({1, 2, 0} and {2, 0, 1}) the child array is also a permutation, so these two permutations are perfect.
Permutation        Child array
{0, 1, 2}        {0, 0, 0}
{0, 2, 1}        {0, 0, 0}
{1, 0, 2}        {0, 1, 0}
{1, 2, 0}        {0, 1, 2}
{2, 0, 1}        {0, 2, 1}
{2, 1, 0}        {0, 2, 0}
You are given a vector P containing a permutation of length N. Find a perfect permutation Q of the same length such that the difference between P and Q is as small as possible, and return this difference. The difference between P and Q is the number of indices i for which P[i] and Q[i] are different.
Definition
Class:
PerfectPermutation
Method:
reorder
Parameters:
vector
Returns:
int
Method signature:
int reorder(vector P)
(be sure your method is public)
Constraints
-
P will contain between 1 and 50 elements, inclusive.
-
P will contain each integer between 0 and N-1, inclusive, exactly once, where N is the number of elements in P.
Examples
0)
{2, 0, 1}
Returns: 0
P is a perfect permutation, so we can use the same permutation for Q. The difference is then 0 because P and Q are the same.
1)
{2, 0, 1, 4, 3}
Returns: 2
Q might be {2, 0, 3, 4, 1}.
2)
{2, 3, 0, 1}
Returns: 2
Q might be {1, 3, 0, 2}.
3)
{0, 5, 3, 2, 1, 4}
Returns: 3
4)
{4, 2, 6, 0, 3, 5, 9, 7, 8, 1}
Returns: 5
This problem statement is the exclusive and proprietary property of TopCoder, Inc. Any unauthorized use or reproduction of this information without the prior written consent of TopCoder, Inc. is strictly prohibited. (c)2003, TopCoder, Inc. All rights reserved.
    我的解答如下�Q?pre class="code">#include #include #include #include #include #include // for vector += using namespace std; class PerfectPermutation { public: int reorder(const vector<int>& P, vector<int>& result); bool isPerfect(const vector<int>& P); private: int difference(const vector<int>& P, const vector<int>& Q); void rotate(const vector<int>& src, vector<int>& r, int level, int& nMin, vector<int>& out); }; int PerfectPermutation::difference(const vector<int>& P, const vector<int>& Q) { size_t cDiff = P.size(); assert(cDiff == Q.size()); for(size_t i = 0; i < P.size(); ++i) { if(P[i] == Q[i]) cDiff--; } return cDiff; } bool PerfectPermutation::isPerfect(const vector<int>& A) { int Bi = 0, Bi_1 = 0; vector<bool> vb(A.size()); vb[0] = true; for(size_t i = 1; i < A.size(); ++i) { if(vb[Bi = A[Bi_1]]) return false; else vb[Bi] = true; Bi_1 = Bi; } return true; } void PerfectPermutation::rotate(const vector<int>& src, vector<int>& r, int level, int& nMin, vector<int>& out) { if(level == r.size() - 1) return; int in = level + 1; for(size_t i = level; i < r.size(); ++i) { if(i == 0 && isPerfect(r)) { nMin = min(difference(src, r), nMin); out = r; } int t = r[level]; for(size_t j = level; j < r.size() - 1; ++j) r[j] = r[j + 1]; r[r.size() - 1] = t; if((i != r.size() - 1) && isPerfect(r)) { nMin = min(difference(src, r), nMin); out = r; } rotate(src, r, in, nMin, out); } } int PerfectPermutation::reorder(const vector<int>& P, vector<int>& result) { if(P.size() == 1 || isPerfect(P)) return 0; int nMin = numeric_limits<int>::max(); vector<int> Q(P); rotate(P, Q, 0, nMin, result); return nMin == numeric_limits<int>::max() ? -1 : nMin; } int main() { using namespace boost::assign; PerfectPermutation pp; vector<int> P; P += 2, 0, 1, 4, 3; vector<int> result(P.size()); cout << "Is a perfect Permutation : " << (pp.isPerfect(P) ? "Yes" : "No") << endl; cout << "Difference between before reorder and after : " << pp.reorder(P, result) << endl; assert(pp.isPerfect(result)); cout << "One answer might be : "; for(size_t i = 0; i < result.size(); ++i) cout << result[i] << " "; cout << endl; return 0; }

崇文 2009-12-19 20:53 发表评论

整理几个offset

崇文 — Sat, 12 Dec 2009 07:16:00 GMT

      �q�几�?offset 是：

      c 中的 offsetof 宏；

      《COM本质论�? "inttable.h" 中的 BASE_OFFSET �Q?/p>
      �?This() (它用��C�� offsetof�Q�权且当做是一�?packaged offset �?�?/p>
      先定义一些辅助类�Q?/p>
struct IX { virtual void fx() = 0; }; struct IY { virtual void fy() = 0; }; class CA : public IX, public IY { public: virtual void fx() { cout << "CA::fx()" << endl; }; virtual void fy() { cout << "CA::fy()" << endl; }; struct Inner { CA* This() { return (CA*)((char*)this - offsetof(CA, m_inner)); } }; Inner m_inner; };

      先看 offsetof �Q?/p>
#define offsetof(s,m) (size_t)&reinterpret_cast<const volatile char&>((((s *)0)->m))
工作原理大体同下图所�C�，其值就�?a �?0 = a �Q�即 m 被映��后的地址。所以一�?�?gt; 操作��可以搞定�?/pre>

再看 BASE_OFFSET �Q?/pre>
#define BASE_OFFSET(ClassName, BaseName) \ (DWORD(static_cast(reinterpret_cast(0x10000000))) - 0x10000000)

    对于先前的定义，有：

DWORD disX = BASE_OFFSET(CA, IX);
DWORD disY = BASE_OFFSET(CA, IY);
cout << disX << endl    // 0
       << disY << endl;   // 4

    �q�个宏主要利用了�z��c�L��针到基类指针的�{换，�q�一切由语言内置的�{换符完成。在 ATL 中相应的定义是：
#define offsetofclass(base, derived) ((DWORD_PTR)(static_cast((derived*)_ATL_PACKING))-_ATL_PACKING)

    其中 _ATL_PACKING 的��gؓ 8 。�ؓ什么��用这两个值呢�Q�我不知道。网上有说是��Z��避免 NULL 指针和负��|��我暂时不能够理解�?/p>
    最后来�?This() �Q?/p>
CA* This() { return (CA*)((BYTE*)this - offsetof(CA, Inner)); }
This() �q�回的即是指�?CA 的指针，如： ca.m_inner.This()->fx(); 有了上面两个 offset �Q�这个就不难理解了�?/pre>
整理完毕�?/pre>

崇文 2009-12-12 15:16 发表评论

typedef 关键字二三事

崇文 — Wed, 09 Dec 2009 13:20:00 GMT

      记得在看《windows 核心�~�程》第二十五章�?Spreadsheet �C�Z��E�序�Ӟ��我对其中 typedef 的用法很是困惑。当时翻看了《Big c++》（我的�W�一�?c++ 书籍�Q�，很可惜，上面讲得很简单，不��以解�{�我的疑惑。不知�ؓ什么当时没有坚持去解决那个问题�Q�一直到现在才想��h��?typedef 做个全面的回��。STL �?BOOST 为我们呈��C��众多�_�ֽ�的应用，typedef 功不可没。先看看《c++ primer�?怎么说的�Q?/p>
      Introduces a synonym for some other type. Form:

      为某�U�类型引入同义词。格式：

      typedef type synonym;


      defines synonym as another name for the type named type.

      定义 synonym 为名�?type 的类型的另一名字�?/p>
      在看《核》一书的时候，我的了解��p��么一炏V��ؓ什么我看不懂呢�Q�看看《核》中的用法：
const int g_nNumRows = 256; const int g_nNumCols = 1024; typedef struct { DWORD dwValue; BYTE bDummy[1020]; } CELL, *PCELL; typedef CELL SPREADSHEET[g_nNumRows][g_nNumCols]; typedef SPREADSHEET *PSPREADSHEET;
按照当时的想法，句子 SPREADSHEET[g_nNumRows][g_nNumCols] sh 的意思应该是 CELL sh �Q�不��p��是这��L��吗（因�ؓ它只是个别名/马甲�Q�？但在我那个想法里 sh 可不是数�l�，所以我当时无法理解 sh 后来的行为。�Ş式主义，对，形式��M��影响了我�Q�当时我��׃��d��的�Ş式主义者。我�q�想再一遍地重复�q�个词，不过那也太给它面子了。算了， Not worth to fight!(哈，最�q�看的一部精彩的家庭喜剧中的台词。这部剧名叫《the middle�?。《核》一书中接下来还有一个精彩的用法�Q��ؓ了简化代码，我把它写成这个样子：
class Base { public: virtual ~Base(); void fn(); ... private: int n; }; class Derive : public Base { ... //no data member allow, just function here. };
static Derive g_ssObject; SPREADSHEET& g_ss = *(PSPREADSHEET)(PCELL)g_ssObject;
如此一来，g_ss ��有�?Base �?n 成员�?256 * 1024 �?CELL �l�构。当�?Derive 对象使用 [] �Ӟ��它是 SPREADSHEET& 型）�Q�它的行为就跟数�l�一致了�Q�n 成员不会索引刎ͼ��q�也是不允许�z��c�L��数据成员的原因）。关于它的内存�ƈ没有在它声明的时候开辟，以及后来怎么开辟，那就是另一个冒险故事了。这�U�手法让我再一�ơ�ؓ《核》这本书所折服�?/pre>
好了�Q�回�?typedef �?/span>我见得最多的用法不外�?typedef int value_type �Q�“取�l�号”是他的职责所在，我不能只把它理解为：当你看到 B�Q?value_type �Q?�Ӟ��它只不过�?A �Q?int �Q�，�q�要把它理解为像上面提到的一��P��SPREADSHEET �q�不只是一�?CELL �Q�而是多个 CELL �l�成�?Array 的首个元素的位置指针�Q�不然后面的两个跟屁虫双�?y��u)�?“[][]�?作何解释。我的这�U�想法让我想起了 ATL 中的 OLECHAR �Q�在那里我也曾是个�Ş式主义者（又重复了一遍！�Q�。OLECHAR 在特定的�q�_��上有特定的意义，比如�?windows �q�_��q�定义了 UNICODE 的情况下�Q�它�?wchar_t 。如果保持这�U�理解，��无法把它当做一�U�特别的�c�d��Q�从而在语言层面上有了障��，也就�q�背�?OLECHAR 生来是�ؓ COM �l��g做“特�D�”服务的本意。我们要把它当做基本�c�d��看待�Q�至于怎么看待以及详细的方法，另一个冒险故事…�?所以，“取�l�号”专家的内涵�q�不单薄�Q�我不能一厢情愿的认�ؓ他只是个爱捉弄�h的讨厌鬼�Q�它正经��h��可也是一表�h才滴。下面是一�?typedef 的用法（来自《c++模板元编�E�》中某习题的解答�Q�：
class foo {...}; typedef int (foo::*pmd); // pmd 解释为：指向 foo 数据成员的指针，�q�回��gؓ int typedef int (foo::*pmf)(); // pmf 解释为：指向 foo 函数成员的指针，�q�回��gؓ int typedef int (*pfunc)(); // pfunc 解释为：指向函数的指针，�q�回��gؓ int 且无参数�Q�有参数的也��׃��难想象了�Q? typedef const int& refc; // 不说�q�个�?/span>
    上面的展�C�非�怸�全面�Q�网上�ȝ��的东西一大堆�Q�我不能��h��引用�Q�去看才实在。不�q�有了这些知识，理解其它东西应该��_��了�?

崇文 2009-12-09 21:20 发表评论

boost 中的 vector 及其 operator+=

崇文 — Wed, 09 Dec 2009 03:01:00 GMT

     在看《c++ 模板元编�E��?的过�E�中�Q�我时时��d��都会有新发现。对于这之前从未接触�q?Boost 库的我来��_��惊奇的感觉尤甚。初看此书的习题4-5�Q�哈�Q�不��是实现一�?param_type 嘛。的��是�Q�不�q?answer ��上的测试代码，才是让我惊奇的东西：
using namespace boost::assign; std::vector<int> v1; v1 += 1, 2, 30, 40, 500;
话不多讲�Q�按囄��骥的来分析。既然是 vector 的操作，那就扑և�对应的头文�g来看看。第一句��用了 boost::assign 命名�I�间�Q��?STL 库中当然不会提供�q�样�?operator+= �Q�果然在 boost\assign\std\vector.hpp 中有声明�Q?/pre>
template< class V, class A, class V2 > inline list_inserter< assign_detail::call_push_back< std::vector >, V > operator+=( std::vector& c, V2 v ) { return push_back( c )( v ); }
For the god’s sake �Q�它一口气抛给我这么多待查的东西，�q�不是打��L��的求知欲么！�Q�歇息片删Z��…）�l�箋。先不管�q�个重蝲操作�W�的�q�回��|��待会在函数的�q�回语句中自然会了解到。看�?push_back( c )( v ) �q�个句子�Q�当然是一�?operator()�Q��l�搜索。这一�ơ，VS 代码查看工具直接把我带到了目的地—�?boost\assign\list_inserter.hpp �q�块新大陆。接下来的一切都��在�q�里发生。首先我��C�� “push_back 站”：
template< class C > inline list_inserter< assign_detail::call_push_back, BOOST_DEDUCED_TYPENAME C::value_type > push_back( C& c ) { static BOOST_DEDUCED_TYPENAME C::value_type* p = 0;//static typename std::vector::value_type* p = 0; return make_list_inserter( assign_detail::call_push_back( c ), p ); }
��Z��方便查看�Q�把 make_list_inserter �?call_push_back 也列出来�Q?/pre>
template< class Function, class Argument > inline list_inserter make_list_inserter( Function fun, Argument* ) { return list_inserter( fun ); }
template< class C > class call_push_back { C& c_; //�q�里�Q�c_ �?vector& v1 public: call_push_back( C& c ) : c_( c ) { } template< class T > void operator()( T r ) { c_.push_back( r ); } };
�q�了�q�条��水�U�，现在 operator+= 中的 push_back( c ) ��p��加工成了�Q?/pre>
list_inserter( call_push_back > ) �Q�其�U�有成员 insert_ �?call_push_back > 。前面提到的 operator() ��p��d��了，先看 list_inserter 的部分代码：
template< class Function, class Argument = assign_detail::forward_n_arguments > class list_inserter { ... public: list_inserter( Function fun ) : insert_( fun ) {} ...
list_inserter& operator()() { //�q�就是那�?operator() ! �l�于扑ֈ�你了 insert_( Argument() ); return *this; } ... template< class T > list_inserter& operator,( const T& r ) { //它化腐朽为神奇，逗号(,)从以前的“�\标”升�U�成了“交警�?/span>
insert_( r ); return *this; }
... ...
private: list_inserter& operator=( const list_inserter& ); Function insert_; // call_push_back
};
到这里，�W�一�?v1 += 1 ��是下面�q�个样子�Q?/pre>
list_inserter( call_push_back > )( 1 )
相当�?call_push_back(1)�Q�call_push_back�?c_ 成员��是 v1 的引用，��q��当于 v1.push_back(1) 。第一个元素进入了容器�Q�鼓掌�?/pre>
看过代码后，逗号�Q?, �Q�就不��为奇了， v1 += 1, 2, 30, 40, 500; 句子中的 �?”，功能是依�ơ插入逗号后的元素�?/pre>
�l�箋探烦新大陆…�?/pre>

崇文 2009-12-09 11:01 发表评论

崇文 — Tue, 08 Dec 2009 03:36:00 GMT

      它是用递归实现的。首先看下面的句子：
mpl::and_
它��用的是头文�g中的模板:
mpl::and_ 1_ 2_ 3_ 4_ 5_
然后�q�个模板�l�承自：
aux::and_impl< BOOST_MPL_AUX_NESTED_TYPE_WKND(exp1)::value, exp2, 3_, 4_, 5_ >
�?1_ �?value �?false �Q�它?y��u)��q��l�于下面的主模板�Q?
template< bool C_, typename T1, typename T2, typename T3, typename T4 > struct and_impl : false_ {};
否则�Q��l�前�q�：
aux::and_impl< BOOST_MPL_AUX_NESTED_TYPE_WKND(exp2)::value, 3_, 4_, 5_, true_ >
�q�又回到了上一步的分叉路口。多个参数的情况与此�c�M��。当全部参数都成 ture/true_ �Ӟ��有了这个特化版本：
template<> struct and_impl< true , true_, true_, true_, true_ > : true_ {};
�q�样一来，当前一个参��Cؓ false �Ӟ��后面的参数就不用触及 ::value �Q�也��׃��会被实例化，�q�就�?short-circuit behavior�Q�类��g�� ||, && �{�操作符�?
同理可推�?or_ 的行为�?/pre>

崇文 2009-12-08 11:36 发表评论

Little thing about boost::mpl::if_

崇文 — Mon, 07 Dec 2009 12:47:00 GMT

      �q�本来没什么好说的�Q�不�q�我在强啃了一天《c++ 模板元编�E�》这本书后，头脑昏沉�Q�反应迟钝。也借整�?boost::mpl::if_ �q�个让我查阅半天源码的小东西的机会，让自己放松一下�?/p>
      if_ ��是�?if_c 定义了自�?::type 的一个元函数。之所以我会对 if_ �q�L��Q�是因�ؓ我想当然的认�?if_ 模板的第一个参数类型�ؓ bool 倹{��这是受�?if 关键字的影响�Q�也有错误理�?if_c 的原因。且�?if_c 的声明：
template< bool C // yeah, the type here is bool, but... , typename T1 , typename T2 > struct if_c { typedef T1 type; }; template< // 特化版本�Q�类��D��样定义元函数的例子很�? typename T1 , typename T2 > struct if_c<false,T1,T2> { typedef T2 type; };
既生 if_c �Q�何�?if_ �Q�对比二者的代码�Q�if_ �?if_c 多了如下句子�Q�BOOST_MPL_AUX_LAMBDA_SUPPORT(3,if_,(T1,T2,T3))。而在 MSVC�Q�VS2008�Q?�~�译器上�q�个句子没�v作用。那它就是�ؓ了兼容编译器而生的，��名字来看和 lambda 表达式的支持性有关系。关于其他编译器的事情，我不知道�Q�先搁置一辏V��再�?if_ 的声明：
template< typename BOOST_MPL_AUX_NA_PARAM(T1) , typename BOOST_MPL_AUX_NA_PARAM(T2) , typename BOOST_MPL_AUX_NA_PARAM(T3) > struct if_ { private: // agurt, 02/jan/03: two-step 'type' definition for the sake of aCC typedef if_c< #if defined(BOOST_MPL_CFG_BCC_INTEGRAL_CONSTANTS) BOOST_MPL_AUX_VALUE_WKND(T1)::value #else BOOST_MPL_AUX_STATIC_CAST(bool, BOOST_MPL_AUX_VALUE_WKND(T1)::value) #endif , T2 , T3 > almost_type_; public: typedef typename almost_type_::type type; BOOST_MPL_AUX_LAMBDA_SUPPORT(3,if_,(T1,T2,T3)) };
�q�就很明了了�Q�先�?if_c ��定应该使用 T2 �q�是 T3�Q�再来个�q�回的定义，��成�?::type 。所以就声明来看�Q�if_ 的第一个模板参数确实是要求�c�d��。初看时�Q�我郁闷了，如果我喜�Ƣ用 value �Q�有些习惯连自己也感到奇怪！�Q�，那我��Z��么不�?if_c 呢？哈，当然可以�Q�如书上的例子：
template <typename T> struct param_type : mpl::if_< typename boost::is_scalar::type, T, typename boost::add_referenceconst>::type > {}; typedef param_type<float>::type float_;
完全可以改�ؓ�Q?/pre>
template <typename T> struct param_type : mpl::if_c< boost::is_scalar::value, T, typename boost::add_referenceconst>::type > {};

     对于书上面的后几个简化，也照样适用。我��更郁闷了，我前几十分钟�q�嘛��M��Q�死抓着 if_ 不放�Q�不考虑试试其它可能。我惌��v了昨天对书上某个例子的扩充，��实受用�Q�这当然不是说作者坏话，他是��Z��使书写得清晰明了才不使用在我看来是优化的东西的。呃�Q�有炚w��…）�Q�我才再一�ơ责怪�v自己的读书习惯。古��Z��Q�尽信书不如无书。这句话用到�q�里��是�Q�别死跟着书走�Q�哪里跟哪里嘛，风马牛不相及�Q�哈哈！�Q��?/p>
     关于 boost �Q�我不了解的太多�Q�需要一步一步来�Q�就从简单的开始吧。现在它可是�q�远��出了我的理解范��_��希望能赶上一�Ҏ(gu��)��一炏V�?/p>

崇文 2009-12-07 20:47 发表评论

崇文 — Sat, 05 Dec 2009 12:16:00 GMT

      前不久看完了《Inside Com》。书写得非常��，有了�q�个基础�Q�打��l�研�I�《Com 本质论》。下面是我看完此书记录下来的一些东西：

      1. CoCreateInstance 的调用过�E?�q�里的组件位�?DLL �?�Q?/p>

      囄��说明了一切。对比一�?CoCreateInstance 的声明：

WINOLEAPI CoCreateInstance(__in REFCLSID rclsid, __in_opt LPUNKNOWN pUnkOuter, __in DWORD dwClsContext, __in REFIID riid, __deref_out LPVOID FAR* ppv);

值得一提的�?CoGetClassObject 调用�?Dll 的导出函�?DllGetClassObject �Q�Regsvr32 /s /u 当然是��用了对应�?DllRegisterServer / DllUnregisterServer 导出函数。如果��?ATL�Q�这一切繁杂的工作都省却了�Q�但反注册还需手动操作……

2. 获取聚合�l��g接口的过�E�：

理解�l��g聚合技术是一�ơ痛苦的�l�历。前后三天，苦苦思烦�Q�我�l�于在那个阴��L��下午获得�?#8220;安东��D��?#8221;的垂青。如果他早一点给我一瓶智力药��_��何至如此呢！看图说话�Q?/pre>

      其中�Q�两个InUnk都是非代理IUnknown�?/p>
      �q�样一来，对于外部�l��g来说�Q?/p>

IX Outer->QueryInterface

获取

IY InUnkO->QueryInterface

      对于内部�l��g来说:

IX OutUnk->QueryInterface->InUnkO->QueryInterface

获取

IY OutUnk->QueryInterface

      所有的 QueryInterface 动作都直接或间接的由外部�l��g执行�?/p>
      �q�让我想起了《变形金�?》。假如我一�q�电(sh��)影院��q��着了，�{�到天火和擎天柱�l�合之后我才醒来。那么对于我来说�Q�擎天柱��是外部�l��g�Q�IX��。天火�ؓ内部�l��g�Q�IY为飞。此时我不知道有天火的存在。当我问擎天�׃��会飞吗的时候，他知道他不会飞（没有IY接口�Q�，于是他问天火你会不会飞，天火��p��回IY�Q�飞�Q�接口，于是擎天柱告诉我他会飞。当他飞着的时候（我想通过IY来查询IX�Q�，我问他会跑么�Q�这句话只有天火听得见（因�ؓ我用的是IY接口�Q�，天火不会跑，他就问擎天柱�Q�擎天柱知道自己会跑�Q�有IX接口�Q�，于是��q��我一个IX接口。整个过�E�中�Q�我只知道擎天柱�Q��ƈ不知道天火的存在�Q�于是擎天柱聚合了天火�?/p>
      但我怎么可能�q�去��q��着了呢�Q?/p>
      内部�l��g的代理接口只是简单的调用外部的QueryInterface�Q�是个�{发站�Q�一切工作交由外部组件统�{�V��关于具体实玎ͼ�《COM本质论》中�l�出�?"impunk.h" 头文件中有很好的实现。我非常喜欢其中关于接口查找表的实现�Q�那个offset获取偏移地址的方法让我这个C语言功力薄弱的�h感到十分惭愧�?/p>
      �q�两天再把套间线�E�和自由�U�程整理出来�?/p>

崇文 2009-12-05 20:16 发表评论

Boost 中的 BOOST_STATIC_ASSERT

崇文 — Fri, 04 Dec 2009 05:05:00 GMT

先看定义在头文�g中的语句�Q?/font>
template <bool x> struct STATIC_ASSERTION_FAILURE; template <> struct STATIC_ASSERTION_FAILURE<true> { enum { value = 1 }; }; template<int x> struct static_assert_test{}; �?/span>
使用的是昄��转换
// Note that the argument to the assert is explicitly cast to bool using old- // style casts: too many compilers currently have problems with static_cast // when used inside integral constant expressions.
�?/span>
#elif defined(BOOST_MSVC) #define BOOST_STATIC_ASSERT( B ) \ typedef ::boost::static_assert_test<\ sizeof(::boost::STATIC_ASSERTION_FAILURE< (bool)( B ) >)>\ // *********** BOOST_JOIN(boost_static_assert_typedef_, __COUNTER__)
关键的地方在�?sizeof() 中的句子。当 (bool)( B ) �?false �Ӟ��因�ؓ没有�q�个特化版本�Q�编译器��报错，�?/font>
�?b>Beyond the C++ Standard Library: An Introduction to Boost》中所�q�ͼ�
Error: use of undefined type
'boost::STATIC_ASSERTION_FAILURE'
BOOST_JOIN(X, Y) 最�l�解释�ؓ X##Y。__COUNTER__ �?MSDN 中的描述�Q?/pre>
Expands to an integer starting with 0 and incrementing by 1 every time it is used in a compiland.
每��用一�ơ它?y��u)��?�?/pre>

崇文 2009-12-04 13:05 发表评论

	IX	OutUnk->QueryInterface->InUnkO->QueryInterface
获取
	IY	OutUnk->QueryInterface