命名空間（可以滿足）可以嗎？

Question

我知道C ++ Concepts提案旨在（除其他事項外）在當前情況下對模板參數（例如，“序列”）施加限制，在這種情況下，任何要編譯的東西就足夠好了（錯誤消息非常糟糕） ）。

但是-命名空間呢？ 我的意思是，當前，我們不能將它們用作模板參數，但有人會認為，如果一種方法僅使用靜態方法和類的成員，那么將名稱空間傳遞給它也是一件令人滿意的事情。 概念提議的當前版本/當前實現是否支持？ 如果不是，是否考慮過並拒絕了，或者只是不考慮？

相關問題：

僅具有靜態方法的類是否比僅具有非成員函數的名稱空間更好？

Answer 1

Concepts不添加任何在編譯或運行時傳遞名稱空間的機制。 因此，沒有辦法針對概念對名稱空間進行測試，或使用名稱空間將代碼參數化，並禁止宏。

反射TS可以允許對名稱空間進行反射（我尚未了解其當前狀態），但這與概念正交。 也許可以操縱名稱空間的更改和反映，以允許對名稱空間進行概念檢查並以某種方式傳遞它們，但是如果今天這樣做，明天可能就不行了，反之亦然，因為它依賴於兩個不同的塑料特征，在這種情況下，這種副作用是偶然的最好。