5

我有以下代码片段：

#include <iostream>
#include <type_traits>
#include <algorithm>
#include <cstdint>
using T = double;

int main()
{
    f();
}
void f() {
    T x = 2;
    if constexpr(std::is_integral_v<T>)
    {
        std::cout << std::min(static_cast<int64_t>(2), x);
    } else {
    std::cout << std::min(1.0, x);
    }
}

编译器正在解释

<source>:15:57: error: no matching function for call to 'min(int64_t, T&)'

我认为这不会有问题，因为当 T 是双精度时，第一个分支不会被实例化。显然我的理解是错误的。有人可以帮助指出我的理解出错的地方吗？

4

3 回答 3

5

您需要制作f()模板和T模板参数。

template <typename T>
void f() {
    T x = 2;
    if constexpr(std::is_integral_v<T>)
    {
        std::cout << std::min(static_cast<int64_t>(2), x);
    } else {
    std::cout << std::min(1.0, x);
    }
}

然后

int main()
{
    f<double>();
}

对于constexpr 如果：

（强调我的）

如果 constexpr if 语句出现在模板化实体中，并且 if 条件在实例化后不依赖于值，则在实例化封闭模板时不会实例化丢弃的语句。

在模板之外，完全检查丢弃的语句。if constexpr不能替代#if预处理指令：

void f() {
    if constexpr(false) {
        int i = 0;
        int *p = i; // Error even though in discarded statement
    }
}
于 2021-03-08T09:22:57.020 回答
1

constexpr if在模板之外，子句的“假”分支被丢弃，而不是被忽略。因此，这样一个分支中的代码仍然必须是格式良好的（而你的不是，因为给出的原因）。

从cppreference：

在模板之外，完全检查丢弃的语句。if constexpr 不能替代#if 预处理指令。

于 2021-03-08T09:30:09.873 回答
0

std::min与参考一起工作。并且两个参数应该是相同的类型。由于您提供了 2 种不同的类型，因此它无法决定参数类型应该是哪一种。您可以通过显式指定您喜欢要转换的两个参数的类型来解决此问题：

std::min<double>(static_cast<int64_t>(2), x)

小心悬空引用。

的失败分支if constexpr无关紧要的情况仅在模板中，f而不是模板函数。

于 2021-03-08T09:19:43.080 回答