命名空间(是/满足)概念吗?

Can a namespace (be a/satisfy a) Concept?

本文关键字:满足 命名空间      更新时间:2023-10-16

我知道C++概念提案的目的是,也许除其他外,对模板参数(例如,作为"序列"(施加限制,而不是当前的情况,在这种情况下,任何设法编译的东西都足够好(并且错误消息非常糟糕(。

但是 - 命名空间呢?我的意思是,目前我们不能将它们用作模板参数,但人们会认为,如果一个方法只使用静态方法和类的成员,那么命名空间也应该是一件令人满意的事情传递给它。概念提案的当前版本/当前实施是否支持这一点?如果没有,是考虑并拒绝了,还是只是没有考虑?

相关问题:

只有静态方法的类比只有非成员函数的命名空间更好吗?

概念不添加在编译或运行时传递命名空间的机制。 因此,没有办法针对 conceot 测试同名,或者使用命名空间对代码进行偏执化,除非宏。

反射TS 可能允许对命名空间进行反射(我不是最新的当前状态(,但这与概念正交。 也许可以操纵命名空间的化和反射以允许对命名空间进行概念检查并以某种方式传递它们,但如果今天这样做,明天可能不会,反之亦然,因为它依赖于两个不同的塑料特征,这样的副作用充其量是偶然的。