3

假设我有如下功能：

template<typename T> inline
typename std::enable_if<has_member_foo<T>::value,int>::type
foo( T const &t ) {
  return t.foo();
}

template<typename T> inline
typename std::enable_if<!has_member_foo<T>::value,int>::type
foo( T const& ) {
  return 0;
}

template<typename T> inline
int call_foo( T const &t ) {
  return sizeof( T ) + foo( t );
}

这大部分工作正常，但如果我稍后为特定类型添加重载：

inline int foo( std::string const &s ) {
  return s.size();
}

我在定义之后添加它call_foo()，重载不被call_foo(). 但是，如果我在 的定义之前移动重载代码call_foo()，则会使用它。

为什么在第一种情况下不使用重载？当call_foo()在代码的其他使用点实例化时，编译器已经看到了重载，那么为什么不使用它呢？

请注意，我的原始代码将foo()函数作为模板foo_traits类的静态成员函数，同样使用enable_if. 该代码有效，即模板类特化，即使在使用之后 call_foo()提供，那么为什么不用于独立的重载函数呢？

如果重要的话，我g++在 Mac OS X 10.7.4 上使用 4.6。

4

1 回答 1

3

如果您将标准（无论如何是 C++98）转换为 14.6.4.2/1，您将阅读：

对于依赖于模板参数的函数调用，如果函数名称是非限定 ID 但不是模板 ID，则使用通常的查找规则（3.4.1、3.4.2）找到候选函数，但以下情况除外：

— 对于使用非限定名称查找 (3.4.1) 的查找部分，仅找到具有来自模板定义上下文的外部链接的函数声明。

在这种情况下template-id，意味着一个<template-params>合格的模板名称。这非常清楚地说明了您在程序中观察到的内容，即只考虑在模板定义的上下文中可见的函数。当您考虑它时，如果不是这种情况，那么根据模板后面的内容更改模板的含义将非常容易，从而导致违反单一定义规则。

于 2012-07-12T15:06:07.917 回答