稍后添加模板函数的专业化

Adding specializations of template functions later

本文关键字：函数 专业化 添加      更新时间：2023-10-16

假设我有这样的函数：

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();
}

在CCD_ 1的定义后加上，CCD_ 2不使用过载。但是，如果我将重载代码移动到call_foo()的定义之前，就会使用它。

为什么在第一种情况下不使用过载？当CCD_ 4在代码中其他地方的使用点被实例化时，编译器已经看到过载，那它为什么不使用它呢？

注意，我的原始代码将foo()函数作为模板化foo_traits类的静态成员函数，类似地使用enable_if进行保护即使在使用call_foo()之后提供，代码也能工作，即模板类专业化，那么为什么不针对独立的重载函数呢？

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

如果您将标准（C++98）设置为14.6.6.2/1，则会读取：

对于依赖于模板参数的函数调用，如果函数名称是一个不合格的id，但不是模板id使用通常的查找规则（3.4.1，3.4.2），但除外

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

在这种情况下，call_foo()0表示<template-params>限定的模板名称。这非常清楚地说明了您在程序中观察到的内容，即只考虑在模板定义上下文中可见的函数。仔细想想，如果不是这样的话，根据后面的内容来更改模板的含义会非常容易，从而违反一个定义规则。

相关文章：