5

我在工作,在一个函数中编写比较器(稍后移动,当我决定哪里最好时),并注意到了这个特殊性。我想了一会儿,意识到我不明白为什么如果我使用内部比较器,代码将无法编译,但外部比较器很好。

有什么解释吗?

快速测试工具:

#include <iostream>
#include <vector>
#include <algorithm>

class CompareMe
{
 public:
    CompareMe(int in) : toCompare(in){}
    int toCompare;
};

class Comparators
{
public:
    bool operator()(CompareMe * first, CompareMe * second)
    {
        return first->toCompare < second->toCompare;
    }
};

class ComparatorsOuter : public Comparators{};

int main()
{
    class ComparatorsInner : public Comparators{};

    std::vector<CompareMe *> compares;
    compares.push_back(new CompareMe(0));
    compares.push_back(new CompareMe(1234));
    compares.push_back(new CompareMe(163));
    compares.push_back(new CompareMe(6));
    compares.push_back(new CompareMe(12));

    //This works, and properly sorts the array
    ComparatorsOuter comparator;
    std::sort(compares.begin(), compares.end(), comparator);

    //Uncomment out the sort below and it will not compile.
    ComparatorsInner comparatorInner;
    //std::sort(compares.begin(), compares.end(), comparatorInner);

    std::vector<CompareMe *>::iterator it;
    for(it = compares.begin(); it != compares.end(); ++it)
    {
        std::cout << (*it)->toCompare << std::endl;
    }
}

错误:没有匹配的函数调用“ sort(__gnu_cxx::__normal_iterator<CompareMe**, std::vector<CompareMe*, std::allocator<CompareMe*> > >, __gnu_cxx::__normal_iterator<CompareMe**, std::vector<CompareMe*, std::allocator<CompareMe*> > >, main()::ComparitorInner&)

4

2 回答 2

10

在 C++03 中,模板参数不能有内部链接:

[C++03: 14.6.4.2/1]:对于依赖于模板参数的函数调用,如果函数名称是unqualified-id但不是template-id,则使用通常的查找规则(3.4.1、3.4.2)找到候选函数,但以下情况除外:

  • 对于使用非限定名称查找(3.4.1) 的查找部分,只能找到具有来自模板定义上下文的外部链接的函数声明
  • 对于使用关联命名空间 (3.4.2) 的查找部分,仅找到在模板定义上下文或模板实例化上下文中找到的具有外部链接的函数声明。

[..]

这在 C++11 中已更改(问题#561:“依赖名称查找中的内部链接函数” ):

[C++11: C.2.6]:14.6.4.2
更改:允许具有内部链接的函数的依赖调用
理由:过度约束,简化重载决议规则。

导致:

[C++11: 14.6.4.2/1]:对于依赖于模板参数的函数调用,使用通常的查找规则(3.4.1、3.4.2、3.4.3)找到候选函数,除了:

  • 对于使用非限定名称查找(3.4.1) 或限定名称查找 (3.4.3) 的查找部分,只能找到来自模板定义上下文的函数声明。
  • 对于使用关联命名空间 (3.4.2) 的查找部分,仅找到在模板定义上下文或模板实例化上下文中找到的函数声明。

[..]

(发现缺少的“与外部联系”资格。)

由于您main()::ComparitorInner&具有内部链接,并且实例化std::sort要求此类型是模板参数(尽管是推导的),因此您的代码仅在 C++11 中有效。

于 2013-01-30T03:12:52.867 回答
3

您的代码在 C++11 中很好;在 C++03 中使用局部类型作为模板参数有一个限制。

于 2013-01-30T03:10:57.840 回答