小编Suk*_*a B的帖子

我想在同一个.cpp文件中包含多个命名空间.

虽然std被广泛使用,但命名空间z3将用于25个KLOC文件的大约10%.

将两者都用作是一种好习惯

    using namespace std;
    using namespace z3;

我只想使用std,然后Z3在需要时通过提到namespase来使用这些方法.喜欢,

    using namespace std;

    z3::context c;
    z3::solver s;

哪个更好的做法？

我不想将它们重命名为一个命名空间.

谢谢和问候,Sukanya