102

为什么string::compare返回 anint而不是像shortor这样的较小类型char？我的理解是这个方法只返回-1、0或1。

第二部分，如果我要设计一个比较两个类型对象的比较方法，Foo并且我只想返回 -1、0 或 1，那么使用short或char通常是一个好主意吗？

编辑：我已得到纠正，string::compare不返回 -1、0 或 1，它实际上返回值 >0、<0 或 0。感谢您让我保持一致。

似乎答案是粗略的，没有理由返回小于的类型，int因为返回值是“右值”，而那些“右值”不会从小于 int 类型（4 字节）中受益。此外，许多人指出，大多数系统的寄存器可能int无论如何都会变大，因为无论您给它们一个 1、2 还是 4 字节的值，这些寄存器都会被填充，因此返回 a 并没有真正的优势较小的值。

编辑 2：事实上，当使用较小的数据类型（如对齐、屏蔽等）时，看起来可能会有额外的处理开销。普遍的共识是，在处理大量数据时，存在较小的数据类型是为了节省内存，如数组的情况。

今天学到了一些东西，再次感谢大家！

4

9 回答 9

113

首先，规范是它将返回一个小于、等于或大于的值0，不一定是-1或1。其次，返回值是右值，受积分提升的影响，因此返回更小的值是没有意义的。

在 C++ 中（就像在 C 中一样），每个表达式都是右值或左值。从历史上看，这些术语指的是左值出现在赋值的左侧，而右值只能出现在右侧。今天，非类类型的一个简单近似是左值在内存中有一个地址，而右值没有。因此，您不能获取右值的地址，并且 cv 限定符（条件“访问”）不适用。在 C++ 术语中，没有类类型的右值是纯值，而不是对象。函数的返回值是一个右值，除非它具有引用类型。（例如，适合寄存器的非类类型几乎总是在寄存器中返回，而不是在内存中。）

对于类类型，问题有点复杂，因为您可以在右值上调用成员函数。这意味着右值实际上必须具有this 指针的地址，并且可以是 cv 限定的，因为 cv 限定在重载解析中起作用。最后，C++11 引入了几个新的区别，以支持右值引用；这些也主要适用于类类型。

整数提升是指当小于 an 的整数类型int在表达式中用作右值时，在大多数情况下，它们将被提升为int。因此，即使我short a, b;在表达式中声明了一个变量，在加法发生之前a + b，两者a和都会b被提升。int同样，如果我写a < 0，则对 的值进行比较a，转换为int。在实践中，很少有这种情况会产生影响，至少在整数算术换行的 2 的补码机器上（即，今天除了极少数外来的机器之外——我认为 Unisys 大型机是唯一的例外）。尽管如此，即使在更常见的机器上：

short a = 1;
std::cout << sizeof( a ) << std::endl;
std::cout << sizeof( a + 0 ) << std::endl;

应该给出不同的结果：第一个等效于 sizeof( short )，第二个sizeof( int )（因为积分提升）。

这两个问题在形式上是正交的；右值和左值与积分提升无关。 除了...积分提升仅适用于右值，并且大多数（但不是全部）使用右值的情况将导致积分提升。因此，实际上没有理由返回小于 的数值int。甚至有一个很好的理由不将其作为字符类型返回。重载的运算符，如<<，对于字符类型通常表现不同，因此您只想将字符作为字符类型返回。（您可以比较差异：

char f() { return 'a'; }
std::cout << f() << std::endl;      //  displays "a"
std::cout << f() + 0 << std::endl;  //  displays "97" on my machine

不同的是，在第二种情况下，加法导致发生积分提升，从而导致<<选择不同的重载。

于 2013-03-11T12:30:20.990 回答
41

故意不返回 -1、0 或 1。

它允许（注意这不适用于字符串，但它同样适用于字符串）

int compare(int *a, int *b)
{
   return *a - *b;
}

这比：

int compare(int *a, int *b)
{
   if (*a == *b) return 0;
   if (*a > *b) return 1;
   return -1;
}

如果您必须返回 -1、0 或 1，这就是您必须做的 [或类似的事情]。

它也适用于更复杂的类型：

class Date
{
    int year;
    int month;
    int day;
}

int compare(const Date &a, const Date &b)
{
   if (a.year != b.year) return a.year - b.year;
   if (a.month != b.month) return a.month - b.month;
   return a.day - b.day;
}

在字符串的情况下，我们可以这样做：

int compare(const std::string& a, const std::string& b)
{
   int len = min(a.length(), b.length());

   for(int i = 0; i < len; i++)
   {
      if (a[i] != b[i]) return a[i] - b[i];
   }
   // We only get here if the string is equal all the way to one of them
   // ends. If the length isn't equal, "longest" wins. 
   return a.length() - b.length();
}
于 2013-03-11T12:39:02.703 回答
25

int通常（在大多数现代硬件上意味着）与系统总线和/或 cpu 寄存器大小相同的整数，即所谓的机器字。因此 int 通常比较小的类型传递得更快，因为它不需要对齐、屏蔽和其他操作。

存在较小的类型主要是为了允许优化数组和结构的 RAM 使用。在大多数情况下，它们会交换几个 CPU 周期（以对齐操作的形式）以获得更好的 RAM 使用率。

除非你需要强制你的返回值是一个百分号大小的有符号或无符号数（char、short…），否则你最好使用 int，这就是标准库这样做的原因。

于 2013-03-11T15:08:31.177 回答
10

这是一个C主义。

当 C 需要compare-type 函数时，它们总是返回一个int. C++ 只是推动了这一点（不幸的是）。

然而，返回一个int实际上可能是最快的方法，因为它通常是正在使用的系统寄存器的大小。（故意含糊其辞。）

于 2013-03-11T12:31:13.310 回答
10

该方法实际上并不返回集合中的整数{ -1, 0, 1 }；它实际上可以是任何整数值。

为什么？我能想到的主要原因是这int应该是架构的“自然大小”值；对这种大小的值的操作通常至少与对较小或较大值的操作一样快（并且在许多情况下更快）。所以这是一个允许实现足够松弛以使用最快的情况的情况。

于 2013-03-11T12:32:23.340 回答
5

如果我要设计一个比较 Foo 类型的两个对象的比较方法，并且我只想返回 -1、0 或 1，那么使用 short 或 char 通常是个好主意吗？

没关系。更好的方法是返回一个布尔值（如果只想比较是否相等）或枚举（更多信息）：

enum class MyResult
{
  EQUAL,
  LESS,
  GREATER
};

MyResult AreEqual( const Foo &foo1, const Foo & foo2 )
{
  // calculate and return result
}
于 2013-03-11T12:29:37.223 回答
4

假设有些人正在将代码从 C 更改为 C++。他们决定更换strcmp为string::compare.

既然strcmp退货，作为礼物退货int就更容易了。string::compareint

于 2013-03-11T12:33:02.840 回答
2

可能是为了让它更像strcmp也有这组返回值的工作。如果您想移植代码，那么让替换尽可能接近可能会更直观。

此外，返回值不仅仅是-1, 0or1而是<0, 0or >0。

此外，正如所提到的，由于回报受积分促销的影响，因此将其缩小是没有意义的。

于 2013-03-11T12:31:41.687 回答
-1

因为一个布尔返回值只能是两个可能的值（真、假），而比较函数可以返回三个可能的值（小于、等于、大于）。

更新

虽然当然可以返回一个有符号的short，但如果你真的想实现你自己的比较函数，你可以返回一个带有两个布尔值的半字节或结构值。

于 2013-03-11T12:39:37.367 回答