抑制单行 MSVC19 C++20 的编译器错误

Question

我想检查 shared_ptr 是否未初始化，即它是否是 nullptr 或者它是否有默认值（如果使用 创建的话就是这种情况） std::make_shared）。为此，我编写了一段代码来检查共享指针是否具有类/结构的默认构造值。为了实现这一点，我还需要知道类/结构是否定义了 operator== 并确定我有 has_equate。检查共享指针是否未初始化的代码是：

template<class L, class R = L>
concept has_equate = requires(const L & lhs, const R & rhs)
{
    { lhs == rhs } -> std::same_as<bool>;
};

template <typename T>
bool isSharedPtrUninitialized(const std::shared_ptr<T>& shared)
{
    if(shared) {
        if(has_equate<T>) {
            T tmp;
            if(*shared == tmp)
                return true;
        }
        return false;
    }
    return true;
}

如果我没有为我的类/结构定义 operator== ，上面的代码行会给出以下错误：

错误 C2678 二进制“==”：找不到采用“T”类型左侧操作数的运算符（或者没有可接受的转换）

因为我正在检查 operator== 是否存在对于类/结构，在继续检查给定共享指针是否具有默认构造值之前使用 has_equate ，我想抑制此特定代码行的此错误。

到目前为止我已经尝试过：

template <typename T>
bool isSharedPtrUninitialized(const std::shared_ptr<T>& shared)
{
    if(shared) {
        if(has_equate<T>) {
            T tmp;
            #pragma warning(suppress: 2678)
            if(*shared == tmp)
                return true;
        }
        return false;
    }
    return true;
}

#pragma warning(push)
#pragma warning(disable: 2678)
template <typename T>
bool isSharedPtrUninitialized(const std::shared_ptr<T>& shared)
{
    if(shared) {
        if(has_equate<T>) {
            T tmp;
            if(*shared == tmp)
                return true;
        }
        return false;
    }
    return true;
}
#pragma warning(pop)

没有一个有效（我认为这是因为 C2678 是一个错误而不是警告）。有没有办法可以仅针对 if(*shared == tmp) 代码行或仅针对 isSharedPtrUninitialized 函数抑制此错误，因为我不想这样做对于整个事情。

Answer 1

感谢 @molbdnilo 提供解决方案。工作功能是：

template <typename T>
bool isSharedPtrUninitialized(const std::shared_ptr<T>& shared)
{
    if(shared) {
        if constexpr (has_equate<T>) {
            T tmp;
            if(*shared == tmp)
                return true;
        }
        return false;
    }
    return true;
}

使用 if constexpr 而不是 if 为我解决了问题。如果对这两者之间的区别感到好奇，请查看帖子“if constexpr()”与“if()”之间的区别< /a> 就这样。