exists = sizeof(Test(MakeT())) == sizeof(Small)
這句，是不是說Test(...)這種函數的優先級是低于類型轉換，所以如果T可以轉換為U類型那Test(...)就變成調用Test(U)，于是exists就是true，說明T和可以相互轉換。

這是編譯時邏輯，不是運行時邏輯。
enum { exists = sizeof(Test(MakeT())) == sizeof(Small) };
編譯器根據程序中的代碼調用狀況，決定應該如何編譯template相關的代碼，
在編譯時刻Conversion<T, U>::exists的值就計算出來了，
首先，sizeof(Small) 等于 1，
如果T就是U，或者T可以轉換成U類型（這個就是關鍵），那么 Test(T) 就是Test(U)，sizeof就等于sizeof(Small)，恒等，意思是

Conversion<T,T>::exists一定是true，類型總是可以轉換成自己。
如果T不是U，并且T不能轉換成U類型，那么static Big Test(...)會被編譯器“調用”（權且用這個詞，編譯原理只學了半桶水，不能裝懂）

，因而exists就是false了（sizeof(Big)!=sizeof(Small)，因為2!=1）。
之所以用MakeT這個函數，如作者所說，是為了滿足當 T 只有私有構造函數的情況，編譯器會在編譯時檢查語言的封裝邏輯是否被違反，如果

存在違反情況將出現編譯錯誤，MakeT這個函數就是為了繞過這個檢查而設的，
我的理解是：用于運行時的代碼中也沒有“調用”這個函數，因而MakeT沒有函數體也不會引起連接錯誤，就是編譯通過了。