为什么C标准库忽略了const的正确性?

时间:2016-02-29 10:15:31

标签: c string const const-correctness ctype

查看C标准库中的大多数函数,似乎缺少const,其中指定so,通常是首选。

例如:
ctype.h / c

extern int isupper(int __c) __ATTR_CONST__;
extern int islower(int __c) __ATTR_CONST__;
extern int isdigit(int __c) __ATTR_CONST__;  

为什么不是这些:

extern int isupper(const int __c) __ATTR_CONST__;
extern int islower(const int __c) __ATTR_CONST__;
extern int isdigit(const int __c) __ATTR_CONST__; 

他们毕竟只观察参数:

int isupper(int c) {
  return _pctype[c] & _UPPER;
}

int islower(int c) {
  return _pctype[c] & _LOWER;
}

int isdigit(int c) {
  return _pctype[c] & _DIGIT;
}

或者让我们在 string.c

中执行一项功能
void *memcpy(void *dest, const void *src, size_t count)
{
         char *tmp = dest;
         const char *s = src;

         while (count--)
                 *tmp++ = *s++;
         return dest;
}

为什么不:

void *memcpy(void *const dest, const void *const src, size_t count);

在这些地方是否排除了const? 以我所展示的方式包含const是不对的?

我认为由于历史原因,这些功能一直保持这种状态 但我想我应该问,以防我错过了什么。

1 个答案:

答案 0 :(得分:7)

那些 const-correct签名。

你几乎不会在传值参数之前写const。 该函数有自己的副本,因此没有危险。

void *memcpy(void *dest, const void *src, size_t count)

也是const正确的。只有第二个指针才会改变它所指向的内容。另一方面,目标指针就是要改变它所指向的内容。