C ++标准中的矛盾？答案

【问题标题】：Contradiction in C++ standard?C ++标准中的矛盾？
【发布时间】：2011-05-13 08:05:47
【问题描述】：

std::map 必须满足第 23.1.2/2 段中指定的关联容器的要求：

每个关联容器都是在 Key 和排序上参数化导致严格的关系比较元素的弱排序（25.3）钥匙。此外，地图和多地图将任意类型 T 与钥匙。比较类型的对象是称为a的比较对象容器。这个比较对象可能成为函数指针或对象具有适当功能的类型呼叫接线员。

但是在第 23.3.1/2 段中，std::map 模板被指定为：

template <class Key, class T, class Compare = less<Key>,
          class Allocator = allocator<pair<const Key, T> > >
class map;

这似乎明确禁止将函数指针用作Compare。这是矛盾还是我没有正确理解标准？

编辑：是的，我真正遇到的问题是为什么像 GMan 的示例这样的代码：

struct foo
{
    int x;
};

bool compare_foo(const foo& x, const foo& y)
{
    return x.x < y.x;
}

std::map<foo, bool, compare_foo> fooMap;

不会编译（是的，我愚蠢地混淆了Compare 参数的类型和值）。

【问题讨论】：

如果您解释为什么您认为这以某种方式“明确禁止使用函数指针”，我们将能够更好地回答。
下一次，如果您只是学习使用该语言，也许不要去阅读规范。 Use a tutorial

标签： c++

【解决方案1】：

Compare 是比较器的类型。使用class 而不是typename 声明它的事实并没有什么区别，您可以将函数指针作为类型并在映射构造函数中给出您的函数。

#include <map>

bool myCmp(int a, int b) {
    return a < b;
}

void foo()
{
    std::map<int, char*, bool (*)(int, int)> m(myCmp);
}

【讨论】：

【解决方案2】：

这个：

class Compare

并不意味着 Compare 必须是一个类。如果这样说可能会更清楚：

typename Compare

您可以使用任何提供类似函数调用语义的类型，例如函数指针。

【讨论】：

除了安德烈亚斯想说他仍然很困惑。事实证明，真正的问题是为什么他的代码无法编译，而不是类这个词的含义。和往常一样，我们需要先找到真正的问题:)

【解决方案3】：

这样指定：

struct foo
{
    int x;
};

bool compare_foo(foo x, foo y)
{
    return x.x < y.x;
}

//                  vvvvvvvvvvvvvvvvv function pointer type
std::map<foo, bool, bool(*)(foo, foo)> fooMap(compare_foo);
//                     function pointer value ^^^^^^^^^^^

【讨论】：

是的，但是以 Compare 为前缀的 class 似乎无法指定函数指针
当我尝试用 MSVC10 编译它时，我得到 error C2923: 'std::map' : 'compare_foo' is not a valid template type argument for parameter '_Pr'
科莫给error: function "compare_foo" is not a type name std::map<foo, bool, compare_foo> fooMap;
试试：std::map<foo, bool, bool(*)(const foo& x, const foo& y)> fooMap(&compare_foo);
@Andreas：哦，对不起。您并没有真正说明 为什么 您认为这是矛盾的，我假设您认为 =meant 要求或其他东西。您应该将其添加到您的问题中。 class 只是模板规范中具有某种语义的关键字，与typename 没有任何不同。是的，我犯了一个愚蠢的错误，请允许我改正它。

【解决方案4】：

您混淆了比较器的类型和值；使用这个例如：

int main()
{
    std::map<foo, bool, bool(*)(const foo&, const foo&)> fooMap(compare_foo);
}

【讨论】：