Usable a;
class DD : public Usable { };
DD dd; // 錯誤: DD::DD() 不能訪問
// Usable_lock::Usable_lock()是一個私有成員
(來自《C++語言的設計和演變》11.4.3)
為什么不能為模板參數定義約束（constraints）？
可以的，而且方法非常簡單和通用。
看看這個：
template<class Container>
void draw_all(Container& c)
{
for_each(c.begin(),c.end(),mem_fun(&Shape::draw));
}
如果出現類型錯誤，可能是發生在相當復雜的for_each()調用時。例如，如果容器的元素類型是int，我們將得到一個和for_each()相關的含義模糊的錯誤(因為不能夠對對一個int值調用Shape::draw的方法)。
為了提前捕捉這個錯誤，我這樣寫：
template<class Container>
void draw_all(Container& c)
{
Shape* p = c.front(); // accept only containers of Shape*s
for_each(c.begin(),c.end(),mem_fun(&Shape::draw));
}
對于現在的大多數編譯器，中間變量p的初始化將會觸發一個易于了解的錯誤。這個竅門在很多語言中都是通用的，而且在所有的標準創建中都必須這樣做。在成品的代碼中，我也許可以這樣寫：
template<class Container>
void draw_all(Container& c)
{
typedef typename Container::value_type T;
Can_copy<T,Shape*>(); // accept containers of only Shape*s
for_each(c.begin(),c.end(),mem_fun(&Shape::draw));
}
文章來源于領測軟件測試網 http://www.kjueaiud.com/