命名空间(是/满足)概念吗?
Can a namespace (be a/satisfy a) Concept?
我知道C++概念提案的目的是,也许除其他外,对模板参数(例如,作为"序列"(施加限制,而不是当前的情况,在这种情况下,任何设法编译的东西都足够好(并且错误消息非常糟糕(。
但是 - 命名空间呢?我的意思是,目前我们不能将它们用作模板参数,但人们会认为,如果一个方法只使用静态方法和类的成员,那么命名空间也应该是一件令人满意的事情传递给它。概念提案的当前版本/当前实施是否支持这一点?如果没有,是考虑并拒绝了,还是只是没有考虑?
相关问题:
只有静态方法的类比只有非成员函数的命名空间更好吗?
概念不添加在编译或运行时传递命名空间的机制。 因此,没有办法针对 conceot 测试同名,或者使用命名空间对代码进行偏执化,除非宏。
反射TS 可能允许对命名空间进行反射(我不是最新的当前状态(,但这与概念正交。 也许可以操纵命名空间的化和反射以允许对命名空间进行概念检查并以某种方式传递它们,但如果今天这样做,明天可能不会,反之亦然,因为它依赖于两个不同的塑料特征,这样的副作用充其量是偶然的。
相关文章:
- 命名空间中具有.h和.cpp文件的类
- 从父命名空间重载类型
- 在命名空间中定义函数还是限定函数
- C++:对不存在的命名空间使用命名空间指令
- 通过继承类使用来自不同命名空间的运算符
- 使用命名空间时出现多个定义错误
- CUDA内核和数学函数的显式命名空间
- 嵌套的匿名命名空间
- CMakeLists.txt中的命名空间表示法
- 类是C++中的命名空间吗
- 在命名空间中使用全局命名空间中的函数
- 如何使 std::sort 在 std::swap 和我的命名空间的模板化交换之间没有名称冲突?
- '使用命名空间{嵌套在另一个命名空间中的某个命名空间}"
- 是否可以将函数导入命名空间,但不能导出它?
- C++ C++类中的命名空间降级
- 如何使用 soong 命名空间来有条件地编译模块
- 使用 Clang++ 有没有办法将文件作为命名空间等包含?
- 使用 make 编译 MPI,几个命名空间错误,例如"错误:未知类型名称'使用'?
- 如何通过命名空间调用非静态方法
- 命名空间(是/满足)概念吗?