c++ - 这些是 std::enable_if 的预期错误，还是我使用不当？

Question

我意识到这是一个非常基本的问题，但我只是想确认我是否正确使用了 std::enable_if，因为我有点不确定“正确”的错误消息应该是什么尝试调用已禁用的函数时。

考虑以下程序 ( link )，预计不会编译:

#include <type_traits>

template <int Z=0> std::enable_if_t<Z> function () { }

int main () {
    function();
}

GCC 9在C++17模式下输出的错误信息是:

g++  --std=c++17 -W -Wall -pedantic  smelly_template.cpp   -o build-c++17/smelly_template
smelly_template.cpp: In function ‘int main()’:
smelly_template.cpp:6:12: error: no matching function for call to ‘function()’
    6 |   function();
      |            ^
smelly_template.cpp:3:40: note: candidate: ‘template<int Z> std::enable_if_t<(Z != 0)> function()’
    3 | template <int Z=0> std::enable_if_t<Z> function () { }
      |                                        ^~~~~~~~
smelly_template.cpp:3:40: note:   template argument deduction/substitution failed:
In file included from smelly_template.cpp:1:
/usr/include/c++/9/type_traits: In substitution of ‘template<bool _Cond, class _Tp> using enable_if_t = typename std::enable_if::type [with bool _Cond = (0 != 0); _Tp = void]’:
smelly_template.cpp:3:40:   required by substitution of ‘template<int Z> std::enable_if_t<(Z != 0)> function() [with int Z = 0]’
smelly_template.cpp:6:12:   required from here
/usr/include/c++/9/type_traits:2384:11: error: no type named ‘type’ in ‘struct std::enable_if<false, void>’
 2384 |     using enable_if_t = typename enable_if<_Cond, _Tp>::type;
      |           ^~~~~~~~~~~

我的问题很简单:这些是我在正确使用 enable_if 时应该看到的错误消息吗(例如，它们只是关于编译器试图做什么的注释)，还是没有我搞砸了什么？

我不确定的原因是:

• 我原以为仅的错误输出是“没有匹配函数调用‘function()’”，然后停在那里，就好像我正在调用一个没有匹配的普通函数一样存在。 (不过，我不知道这种期望从何而来。)
• 在我阅读的所有关于 enable_if 的帖子、教程和文档中，每当有人遇到“enable_if 中没有名为‘type’的类型”错误时，似乎总是因为他们我做错了什么(粗略搜索:example、example、example，不胜枚举)。

所以我想知道是否我做错了什么，因为我也看到了“没有名为‘type’的类型”错误。

虽然我确实看到了最终的预期行为——编译失败——但我现在更关心的是完全正确的用法，而不是简单地以某种形式满足程序要求(编译失败)。

Answer 1

std::enable_if_t是一个模板，如果条件为假，它会导致替换失败。由于 SFINAE，当它发生在重载解析期间时，这不会导致程序格式错误。您将一个假值作为默认值传递给它，因此对于对 function() 的调用, 如果没有任何额外指定的模板参数，重载解析将失败。

如果你改变template <int Z = 0>属于 int Z = 1那么我希望代码能够编译。

---

问题的第二部分的更多内容:这些其他错误是预期的吗？

smelly_template.cpp:3:40: note: candidate: ‘template<int Z> std::enable_if_t<(Z != 0)> function()’
    3 | template <int Z=0> std::enable_if_t<Z> function () { }
      |                                        ^~~~~~~~
smelly_template.cpp:3:40: note:   template argument deduction/substitution failed:
In file included from smelly_template.cpp:1:

是的，每当重载解析失败时，编译器都会尝试通过显示它尝试过的内容来帮助您。现代版本的 gcc 和 clang 将向您显示每个可用的重载以及不能使用的原因。在这种情况下，它解释了为什么重载解析在它尝试过的一个重载中失败了。重载解析失败时出现的这类错误在大型程序中极其很有帮助。