不同行为的MSVC和clang为if Conconexpr分支

Question

考虑到这个辅助函数：

template<typename Type>
std::string toString(Type const& value, bool encloseInQuotes = false) {
  if constexpr (std::is_same<bool, Type>::value) {
    auto s = value ? "true" : "false";
    return encloseInQuotes ? "\""s + s + "\"" : s;
  }

  if constexpr (std::is_arithmetic<Type>::value) {
    if (std::isnan(value)) {
      return encloseInQuotes ? "\"NaN\"" : "NaN";
    }
  }

  return "";
}

它应该将基本类型（和字符串）转换为字符串表达式，当我像这样使用它时，MSVC会出现编译错误：

int main() {
  std::string temp = toString(true);
  return 0;
}

有了clang，编译起来没有任何问题，但有了MSVC，我明白了：

2.

2.

2.

2.

2.

2.

2.

2.

2.

2.

2.

2.

2.

2.

2.

显然，编译器会考虑if constexpr（std:：is_算术

如何在Windows上正确编译？




Answer 1

std::isnan和std::isinf看似在MSVC中内部调用fp分类。该函数对于浮点类型重载，并且您传递bool类型的参数，因此调用是不明确的。

为了避免这种情况，您可以将参数强制转换为double：

if constexpr (std::is_arithmetic<Type>::value) {
  if (std::isinf((double)value)) {
    return encloseInQuotes ? "\"INF\"" : "INF";
  }

  if (std::isnan((double)value)) {
    return encloseInQuotes ? "\"NaN\"" : "NaN";
  }

现场演示：https://godbolt.org/z/W7Z3r3

更新

这似乎是MSVC实现中的一个错误，因为根据cppreference，整型参数应该有一个重载，其行为与double重载相同。最简单的例子：

auto b = std::isnan(1);

现场演示：https://godbolt.org/z/qcTfQs

Answer 2

匿名用户

对于bool至少有两种类型特征返回true：

std::is_same<bool, Type>::value
std::is_arithmetic<Type>::value

然后打电话给std:：isnan（true）。如果，请使用：

if constexpr (std::is_same<bool, Type>::value) {
    auto s = value ? "true" : "false";
    return encloseInQuotes ? "\""s + s + "\"" : s;
}
else if constexpr (std::is_arithmetic<Type>::value) {
    if (std::isnan(value)) {
        return encloseInQuotes ? "\"NaN\"" : "NaN";
    }
    ...
}
else
    return "";