这个失败的测试会给空指针未定义的行为、编译器错误或其他什么增加零吗?

string_view 一个C++ 14项目的包装器,用MSVC 2017触发 static_assert assert

下面是代码:

#include <cassert> // assert
#include <cstddef> // size_t

class String_View
{
    char const* m_data;
    std::size_t m_size;
public:
    constexpr String_View()
      : m_data( nullptr ),
        m_size( 0u )
    {}

    constexpr char const* begin() const noexcept
    { return m_data; }
    constexpr char const* end() const noexcept
    { return m_data + m_size; }
};

void static_foo()
{
    constexpr String_View sv;

//    static_assert( sv.begin() == sv.end() ); // this errors
    static_assert( sv.begin() == nullptr );
//    static_assert( sv.end() == nullptr ); // this errors
}

void dynamic_foo()
{
    String_View const sv;

    assert( sv.begin() == sv.end() ); // this compiles & is optimized away
    assert( sv.begin() == nullptr );
    assert( sv.end() == nullptr ); // this compiles & is optimized away
}

Compiler Explorer link 我曾经复制过这个问题。

据我所知,加减法 0

• c++ - Is the behavior of subtracting two NULL pointers defined? - Stack Overflow ,最后一个区块报价
• Additive operators - cppreference.com ,最后一个项目符号列表的最后一个项目符号
• libstdc++: string_view Source File ,实施 end() 等。

end 方法,则失败 s会过去的。

constexpr char const* end() const noexcept
{ return ( m_data == nullptr
           ? m_data
           : m_data + m_size ); }

我想也许 m_data + m_size 在事实发生之前 m_size == 0 结束 与荒谬的 return m_data + 0; 错误:-/

更新:

这看起来确实是一个在15.7和15.8之间修复的编译器错误。