5

假设,我想开发一个通用库,它应该可用于类似数字的类型,包括双精度类型和用户定义类型。我现在面临的问题是我不知道如何编写函数模板的返回类型,就像这样:

template<class T>
auto transmogrify(T x)
-> ???
{
    using std::abs;
    return abs(x)+2.0;
}

using 声明使此函数模板的主体适用于原始类型,因为它们没有关联的命名空间(因此,没有 ADL)。但是我希望 transmogrify 使用专门的 abs 函数,以防用户定义类型的作者提供他自己的 abs 函数。我不能简单地使用

-> decltype( abs(x)+2.0 )

因为这不适用于双打,因为 std::abs 不在范围内(据我所知)。但是写作

-> decltype( std::abs(x)+2.0 )

将禁用 ADL。但禁用 ADL 不是一种选择。此外,专门的 abs 函数返回的值可能不是 T 类型,而是其他类型。

关于如何解决返回类型问题的任何想法,同时 (a) 保留 ADL 和 (b) 对于不提供专门 abs 的类型使用某些默认函数(如本例中的 std::abs )。

4

2 回答 2

12

使用单独的命名空间,您可以在其中放置 using 子句。这可以防止命名空间污染,因为 using 子句仅适用于该命名空间。我建议将其命名为独特的名称,以免您不小心将其传播开来。

namespace transmog_detail
{
   using std::abs;

   template<class T>
   auto transmogrify(T x) -> decltype(abs(x) + 2.0)
   {
      return abs(x) + 2.0;
   }
}

// Then pull it into the current namespace, as recommended by @LucDanton.
using transmog_detail::transmogrify;

// Or if there is a reason, you can forward. 
// template<class T>
// auto transmogrify(T x)
// -> decltype(transmog_detail::transmogrify(x))
// {
//    return transmog_detail::transmogrify(x);
// }
于 2012-08-31T16:07:25.030 回答
-6

上面的答案很好,但我能想到的最简单的方法是使用 typeinfo 标头。它专门用于确定对象的类型和构造函数。

见这里:http ://www.cplusplus.com/reference/std/typeinfo/type_info/

于 2012-08-31T16:11:19.070 回答