考虑以下代码：

执行提供的功能。

要使用 SFINAE，我想检查函数是否满足以下条件：

• 它需要一个可转换为的参数const unsigned int
• 它返回可转换为std::string

我必须写什么而不是/*SOMETHING*/？

《C++ 编程语言》一书（第四版）。第 28.4 章（第 796 页）解释了 enable_if 并给出了使 operator->() 的定义成为条件的示例。书中的例子只是一个代码片段，我将其完成为一个程序如下：

上面的代码不能在 gcc 4.7.2 中编译。编译器抱怨：错误：'struct std::enable_if' 中没有名为 'type' 的类型

根据书中的解释，如果 T 不是类，则 operator->() 将被忽略。但是，这并不能解释编译错误。编译错误表明相反，即使 T 不是类，也不会忽略 operator->() 的定义。这篇文章 std::enable_if 似乎解释了编译错误，以有条件地编译成员函数。但该帖子似乎与书中的解释不一致。任何人都可以帮助解释成员函数的 enable_if 的用法吗？在上面的例子中，如果我只想在 T 是类时定义 operator->()，有没有一个干净优雅的解决方案？谢谢你。

非常感谢您的回复。还有另一种基于重载的解决方法（我不会说它比其他发布的解决方案更好）

基本上我希望我的范围类型可以隐式转换Range<const char>为Range<const unsigned char>. std::enable_if 似乎是不可能的，因为该函数没有参数并且没有返回。解决方法是什么？

这基本上是我尝试过的：

*unique_ptr* 在删除器中管理可选项的方式typedef foo_type pointer;让我感到惊讶。我查看了 Visual Studio 2012 的实现，并为示例剥离了一个小实现：

现在，如果我们能够这样写： struct A { typedef unsigned int Type; }; 结构 B { };

令人惊讶的是，MyFn在我们在内部使用 B 的情况下，ResolveType由于typename B::Type不存在而形成的病态。

所以我有三个问题： 1. 这是标准行为还是非标准技巧只能在 Visual Studio 编译器中正常工作？2. 如果这是正确的标准行为，那么黑魔法背后的规则是什么？3.这是否与*enable_if*有关，因为我也很难理解它如何允许拒绝函数重载的逻辑，有点像上面的例子一样，通过使签名无效？

谢谢。

你好我想写两个to_string成员函数的实现如下：

我见过这个，但是我不知道如何使用代码，我根本不习惯 enable_if 和 boost mpl。我应该如何定义两个 to_string 函数以将第二个函数用作后备？

谢谢。

如果用户将函数指针作为参数传递，我想使用 SFINAE 启用特定模板。

我四处搜索，但一无所获——我也尝试查看<type_traits>文档，但找不到任何类似于is_function_ptr<T>.

函数指针是指全局函数指针，例如TReturn(*)(TArgs...).

我对 std::enable_if 的第二个参数感到困惑。在使用 int 的返回类型时，我们可以使用：

但是如何在参数或模板中使用 enable_if 呢？在这种情况下，下面的too函数有什么区别：

谢谢。