为什么 is_integral_v<string> 是真的？答案

【问题标题】：Why is_integral_v<string> is true?为什么 is_integral_v<string> 是真的？
【发布时间】：2020-08-17 17:39:11
【问题描述】：

我想问题的标题没有多大意义，但我希望问题描述能传播开来。
有人可以解释一下这是如何通过编译的吗？

template<typename Cont, typename = std::enable_if<std::is_integral_v<std::string>>>
void print(const Cont& cont) 
{
    for (const auto it : cont) {
        cout << it << " ";
    }
    cout << endl;
}

int main()
{
    std::vector<string> V;
    print(V);
}

原来的版本是：
template<typename Cont, typename = std::enable_if<std::is_integral_v<typename Cont::value_type>>>
我只是明确地把 std::string 确定了。

我猜 enable_if 应该禁止这个函数被实例化吧？？
我在这里错过了什么？

【问题讨论】：

如果print 的重载仅支持整数类型，似乎没有必要通过引用来获取其参数。
错字，std::enable_if -> std::enable_if_t

标签： c++ c++11 templates

【解决方案1】：

std::enable_if<false> 仍然作为一种类型存在，这就是您推断出的未使用的类型参数。

它只是作为一个本身没有嵌套公共成员 typedef type 的类型存在。这就是为什么您必须使用 std::enable_if<EXPR>::type 或 std::enable_if_t<EXPR> 来获得您期望的行为。

您可以在the documentation 中查看您的用例示例。

只是为了完整性：

为什么 is_integral_v 为真？

不是！你只是没有检查你的想法。

将来，当您遇到这样的事情时（当您知道自己要写什么时，可能真的很难看出问题所在），尝试寻找另一种方法来测试您的假设.你可以直接打印is_integral_v<std::string> 看看是真是假。

或者，当然，让别人看看。其他人通常可以立即看到我们的大脑有助于过滤掉的错误。

【讨论】：