visual-c++ - Visual Studio 中嵌套模板的一致性模式和多重继承

Question

在尝试检查一个类是否从另一个类派生时，我遇到了(在我看来是)Visual Studio 的奇怪行为。考虑以下示例:

样本 1

namespace X
{
    namespace Y
    {
        struct A {};
        struct B {};
    }
}

struct AB : public X::Y::A, public X::Y::B {};

static_assert(std::is_base_of_v<X::Y::A, AB>); // (1)
static_assert(std::is_base_of_v<X::Y::B, AB>); // (2)

样本 2

namespace X
{
    namespace Y
    {
        struct A {};
        struct B {};
    }
}

using namespace X::Y;
struct AB : public A, public B {};

static_assert(std::is_base_of_v<A, AB>); // (3)
static_assert(std::is_base_of_v<B, AB>); // (4)

我添加了 /std:c++latest Visual Studio 中的选项，所以据我所知，嵌套命名空间应该没问题。

如果我设置 Conformance Mode在 Visual Studio 中为 No，则所有 static_assert满足上述表达式。

但是，如果我将其设置为 Yes(即 /permissive- )，则满足 (3) 但所有 (1)、(2) 和 (4) 均失败。我很感激任何人都可以提供为什么会出现这种情况的见解 - 是我的理解有问题，还是 VS 问题？特别是，(3) 和 (4) 可以(并且确实!)不同的事实非常奇怪。

Answer 1

IntelliSense 错误地将它们标记为失败，但如果您尝试构建项目，它将成功编译。

Intellisense 不是功能齐全的编译器，它可能不那么准确或可能不会更新以支持最新的语言功能，并且有时与编译器不一致。