如何在 C 中创建带有可选参数的函数？

Question

最近在写一个打开文件的程序时遇到一个问题。

让我清楚地解释我的问题。这里我以open 通话为例。

创建文件：

open("file_name", O_CREAT, 0766); //passing 3 parametrs

打开文件：

open("file_name", O_RDWR); //only 2 arguments.

然后我清楚地观察到了这一点，它也适用于main()。

main(void) //worked
main(int argc, char **argv); //worked
main(int argc) //worked and it's doesn't give an error like "too few arguments". 
main() //worked 

那么我们如何创建这些可选参数呢？编译器究竟如何验证这些原型？如果可能，请写一个示例程序。

Answer 1

open 函数被声明为可变参数函数。它看起来像这样：

#include <stdarg.h>

int open(char const * filename, int flags, ...)
{
    va_list ap;
    va_start(ap, flags);

    if (flags & O_CREAT)
    {
        int mode = va_arg(ap, int);
        // ...
    }

    // ...

    va_end(ap);
}

除非您表明它们确实存在，否则不会使用进一步的参数。

printf 使用相同的结构。

手册并不总是明确说明这一点，因为唯一可能的两个签名是(char const *, int) 和(char const *, int, int)，所以告诉你这个函数实际上接受可变参数没有什么意义。 （你可以通过编译类似open("", 1, 2, 3, 4, 5, 6)的东西来测试它。）

Answer 2

在所有情况下，可变参数函数必须能够以某种方式从固定参数中确定有多少可变参数。例如，printf() 系列函数使用格式字符串来确定参数的数量和类型。 execl() 函数使用标记（空指针）来标记参数列表的结尾。可以使用计数而不是哨兵（但如果您要这样做，则非可变参数函数中的计数和数组可能会与计数和参数列表）。 open() 函数使用标志位之一来确定模式是否应该存在 - 请参阅 Kerrek SB 的 answer。

main() 函数是一个特例。实现（编译器）禁止为其声明原型，必须至少接受以下两种形式：

int main(int argc, char **argv);
int main(void);

或它们的等价物。它也可以接受其他形式；请参阅What's the use of the third environment variable in the C main()? 了解一种常见形式。在 C 而不是 C++ 中，标准编译器可以记录其他返回类型 - 并且 Microsoft 已将 void 记录为从 VS 2008 开始的有效返回类型。

因为没有为main() 提供实现的原型，编译器不能正式拒绝main() 的任何声明/定义，尽管它可能会通过它不识别的形式的评论（GCC 确实评论@例如，不返回 int 类型的 987654333@ 函数。