AlgorithmsAlgorithms（算法）bsearchbsearch_sqsortqsort_sAtomic operationsAtomic operations library（原子操作库）ATOMIC_*_LOCK_FREEatomic_compare_exchange_strongatomic_compare_exchange_strong_explicitatomic_compare_exchange_weakatomic_compare_exchange_weak_explicitatomic_exchangeatomic_exchange_explicitatomic_fetch_addatomic_fetch_add_explicitatomic_fetch_andatomic_fetch_and_explicitatomic_fetch_oratomic_fetch_or_explicitatomic_fetch_subatomic_fetch_sub_explicitatomic_fetch_xoratomic_fetch_xor_explicitatomic_flagatomic_flag_clearatomic_flag_clear_explicitATOMIC_FLAG_INITatomic_flag_test_and_setatomic_flag_test_and_set_explicitatomic_initatomic_is_lock_freeatomic_loadatomic_load_explicitatomic_signal_fenceatomic_storeatomic_store_explicitatomic_thread_fence（线程围栏）ATOMIC_VAR_INITkill_dependencymemory_order（内存排序）C keywordsauto（自动存储）break（跳出循环）C keywords（关键词）casecharconst（常量修饰符）continuedefault（预设运算式）dodouble（双精度浮点型）elseenum（枚举类型）extern（全局变量）float（浮点数）forfortrangoto（goto语句）if（if语句）inline（行内函式）intlong（长整型）register（寄存器变量）restrict（ restrict类型限定符）returnshortsignedsizeof（sizeof运算符）static（静态变量）struct（结构体）switch（switch语句）typedef（typedef关键字）union（联合体）unsigned（无符号）void（空类型）volatile（volatile变量）while（while语句）_Alignas_Alignof_Atomic_Bool_Complex_Generic_Imaginary_Noreturn_Static_assert_Thread_localC language#define directive#elif directive#else directive#endif directive#error directive#if directive#ifdef directive#ifndef directive#include directive#line directive#pragma directivealignas（对齐指定符）Alternative operators and tokens（替代运算符和令牌）AnalyzabilityArithmetic operatorsArithmetic typesArray declaration（数组声明）Array initialization（阵列初始化）ASCII ChartAssignment operators（赋值运算符）types（atomic类型限定符）Basic conceptsBit fields（位域）break statementC languageC Operator Precedencecast operatorcharacter constant（字符字面量）Comments（注释符）Comparison operators（比较运算符）compound literals（符合字面量）Conditional inclusion（条件包含）Conformance（一致性）const type qualifier（const 限定符）Constant expressions（常量表达）continue statementDeclarations（声明）do-while loopEnumerations（枚举类型）Escape sequences（转义字符）Expressions（表达式）External and tentative definitions（外部和暂定的定义）File scope（文件范围）floating constant（浮点常量）for loopFunction declarations（函数声明）Function definitions（函数声明）FunctionsGeneric selection泛型选择goto statementIdentifier（标示符）if statementImplicit conversions（隐式转换）Increment/decrement operators（前置/后置操作符）Initialization（初始化）inline function specifier（内联函式）integer constantLifetime（生命期）Logical operators（逻辑运算符）Lookup and name spacesMain function（主函式）Member access operators（会员接入运营商）Memory modelObjects and alignment（字节对齐）Order of evaluation（评估顺序）Other operatorsPhases of translation（翻译阶段）Pointer declarationPreprocessor（预处理）restrict type qualifier（restrict类型限定符）return statementScalar initialization（标量类型初始化）Scope（范围）sizeof operator（sizeof运算符）Statements（陈述）static assert declaration（静态断言声明）Static storage duration（静态存储周期）Storage-class specifiers（存储类说明符）string literals（字符串字面量）Struct and union initialization（结构体与联合体初始化）Struct declaration（结构体声明）switch statementThread storage duration（线程存储时间）TypeType（类型）Typedef declaration（Typedef声明）Undefined behavior（未定义行为）Union declaration（联合体声明）Value categories（值类别）Variadic arguments（变长参数宏）volatile type qualifier（volatile 类型限定符）while loop_Alignof operator_Noreturn function specifierDate and timeasctime（asctime函数）asctime_sclockCLOCKS_PER_SECclock_tctime（ctime函数）ctime_sDate and time utilities（日期和时间库）difftime（计算两个时间的间隔）gmtimegmtime_slocaltimelocaltime_smktime（将时间结构数据转换成经过的秒数的函数）strftime（格式化输出时间函数）timetimespectimespec_gettime_ttmwcsftime（格式化时间宽字符）Dynamic memory managementaligned_allocC memory management library（内存管理库）callocfree（释放动态分配空间的函数）malloc（动态分配内存空间的函数）realloc（重新分配内存空间的函数）Error handlingabort_handler_sassert（断言）constraint_handler_terrno（错误报告）Error handling（错误处理）Error numbers（错误个数）ignore_handler_sset_constraint_handler_sstatic_assertFile input/outputclearerr（清除/复位）fclosefeofferrorfflush（清空文件缓冲区）fgetcfgetposfgetsfgetwcfgetwsFile input/outputfopenfopen_sfprintffprintf_sfputcfputsfputwcfputwsfreadfreopenfreopen_sfscanffscanf_sfseekfsetposftellfwidefwprintffwprintf_sfwritefwscanffwscanf_sgetcgetchargetsgets_sgetwcharperrorprintfprintf_sputcputcharputsputwcputwcharremoverenamerewindscanfscanf_ssetbufsetvbufsnprintfsprintfsscanfsscanf_sswprintfswprintf_sswscanfswscanf_stmpfiletmpfile_stmpnamtmpnam_sungetcungetwcvfprintfvfprintf_svfscanfvfscanf_svfwprintfvfwprintf_svfwscanfvfwscanf_svprintfvprintf_svscanfvscanf_svsnprintfvsprintfvsscanfvsscanf_svswprintfvswprintf_svswscanfvswscanf_svwprintfvwprintf_svwscanfvwscanf_swprintfwprintf_swscanfwscanf_sLocalization supportlconvLC_ALLLC_COLLATELC_CTYPELC_MONETARYLC_NUMERICLC_TIMElocaleconvLocalization supportsetlocaleNumericsabsacosacosfacoshacoshfacoshlacoslasinasinfasinhasinhfasinhlasinlatanatan2atan2fatan2latanfatanhatanhfatanhlatanlcabscabsfcabslcacoscacosfcacoshcacoshfcacoshlcacoslcargcargfcarglcasincasinfcasinhcasinhfcasinhlcasinlcatancatanfcatanhcatanhfcatanhlcatanlcbrtcbrtfcbrtlccosccosfccoshccoshfccoshlccoslceilceilfceillcexpcexpfcexplcimagcimagfcimaglclogclogfcloglCMPLXCMPLXFCMPLXLCommon mathematical functionscomplexComplex number arithmeticconjconjfconjlcopysigncopysignfcopysignlcoscosfcoshcoshfcoshlcoslcpowcpowfcpowlcprojcprojfcprojlcrealcrealfcreallcsincsinfcsinhcsinhfcsinhlcsinlcsqrtcsqrtfcsqrtlctanctanfctanhctanhfctanhlctanldivdouble_terferfcerfcferfclerfferflexpexp2exp2fexp2lexpfexplexpm1expm1fexpm1lfabsfabsffabslfdimfeclearexceptfegetenvfegetexceptflagfegetroundfeholdexceptferaiseexceptfesetenvfesetexceptflagfesetroundfetestexceptfeupdateenvFE_ALL_EXCEPTFE_DFL_ENVFE_DIVBYZEROFE_DOWNWARDFE_INEXACTFE_INVALIDFE_OVERFLOWFE_TONEARESTFE_TOWARDZEROFE_UNDERFLOWFE_UPWARDFloating-point environmentfloat_tfloorfloorffloorlfmafmaffmalfmaxfmaxffmaxlfminfminffminlfmodfmodffmodlfpclassifyFP_INFINITEFP_NANFP_NORMALFP_SUBNORMALFP_ZEROfrexpfrexpffrexplHUGE_VALHUGE_VALFHUGE_VALLhypothypotfhypotlIilogbilogbfilogblimaginaryimaxabsimaxdivINFINITYisfiniteisgreaterisgreaterequalisinfislessislessequalislessgreaterisnanisnormalisunorderedlabsldexpldexpfldexplldivlgammalgammaflgammalllabslldivllrintllrintfllrintlllroundllroundfllroundlloglog10log10flog10llog1plog1pflog1pllog2log2flog2llogblogbflogbllogflogllrintlrintflrintllroundlroundflroundlMATH_ERREXCEPTmath_errhandlingMATH_ERRNOmodfmodffmodflnanNANnanfnanlnearbyintnearbyintfnearbyintlnextafternextafterfnextafterlnexttowardnexttowardfnexttowardlNumericspowpowfpowlPseudo-random number generationrandRAND_MAXremainderremainderfremainderlremquoremquofremquolrintrintfrintlroundroundfroundlscalblnscalblnfscalblnlscalbnscalbnfscalbnlsignbitsinsinfsinhsinhfsinhlsinlsqrtsqrtfsqrtlsrandtantanftanhtanhftanhltanltgammatgammaftgammaltrunctruncftrunclType-generic math_Complex_I_Imaginary_IProgram supportabortatexitat_quick_exitexitEXIT_FAILUREEXIT_SUCCESSgetenvgetenv_sjmp_buflongjmpProgram support utilitiesquick_exitraisesetjmpSIGABRTSIGFPESIGILLSIGINTsignalSIGSEGVSIGTERMsig_atomic_tSIG_DFLSIG_ERRSIG_IGNsystem_ExitStringsatofatoiatolatollbtowcc16rtombc32rtombchar16_tchar32_tisalnumisalphaisblankiscntrlisdigitisgraphislowerisprintispunctisspaceisupperiswalnumiswalphaiswblankiswcntrliswctypeiswdigitiswgraphiswloweriswprintiswpunctiswspaceiswupperiswxdigitisxdigitmblenmbrlenmbrtoc16mbrtoc32mbrtowcmbsinitmbsrtowcsmbsrtowcs_smbstate_tmbstowcsmbstowcs_smbtowcmemchrmemcmpmemcpymemcpy_smemmovememmove_smemsetmemset_sNull-terminated byte stringsNull-terminated multibyte stringsNull-terminated wide stringsstrcatstrcat_sstrchrstrcmpstrcollstrcpystrcpy_sstrcspnstrerrorstrerrorlen_sstrerror_sStrings librarystrlenstrncatThread supportcall_oncecnd_broadcastcnd_destroycnd_initcnd_signalcnd_timedwaitcnd_waitmtx_destroymtx_initmtx_lockmtx_plainmtx_recursivemtx_timedmtx_timedlockmtx_trylockmtx_unlockonce_flagONCE_FLAG_INITthrd_busythrd_createthrd_currentthrd_detachthrd_equalthrd_errorthrd_exitthrd_jointhrd_nomemthrd_sleepthrd_successthrd_timedoutthrd_yieldThread support librarythread_localtss_createtss_deleteTSS_DTOR_ITERATIONStss_gettss_setType supportBoolean type support libraryFixed width integer typesFLT_EVAL_METHODFLT_ROUNDSmax_align_tNULLNumeric limitsoffsetofptrdiff_tsize_tType supportVariadic functionsVariadic functionsva_argva_copyva_endva_listva_start
©
本文档使用
php.cn手册 发布
文字
函数声明引入了一个指定函数的标识符，并且可选地指定函数参数的类型（原型）。函数声明（与定义不同）可能出现在块作用域和文件作用域中。
句法
在函数声明的声明语法中，可能由声明者修改的类型说明符序列指定返回类型（可以是除数组或函数类型之外的任何类型），声明符具有以下两种形式之一：
noptr-declarator ( parameter-list ) | (1) | |
|---|---|---|
noptr-declarator ( identifier-list(optional) ) | (2) |
其中
noptr声明符 | - | 除unparenthesized指针声明符外的任何声明符。包含在此声明器中的标识符是成为函数标识符的标识符。 |
|---|---|---|
参数列表 | - | 无论是单个关键字void还是以逗号分隔的参数列表（可能以省略号参数结尾） |
标识符表 | - | 逗号分隔的标识符列表（只有在该声明符被用作旧式函数定义的一部分时），对于不是定义的旧式声明，必须省略。 |
1）新式（C89）函数声明。该声明既引入了函数指示符本身，也作为未来函数调用表达式的函数原型，强制从参数表达式转换为声明的参数类型，并对参数个数进行编译时检查。
int max(int a, int b); // declarationint n = max(12.01, 3.14); // OK, conversion from double to int
2）旧式（K＆R）功能声明。这个声明不像原型，任何未来的函数调用表达式都会执行默认的参数提升，并且如果参数的数量与参数的数量不匹配，将会调用未定义的行为。
int max();int n = max(true, (char)'a'); // calls max with two int args (after promotions)int n = max(12.01f, 3.14); // calls max with two double args (after promotions)int max(a, b) int a, b; { return a>b?a:b; } // definition expects ints; the second call is undefined说明
函数的返回类型由声明符中的类型说明符确定，并可能在声明中像通常那样可能由声明器修改，这些类型必须是完整的非数组对象类型或类型void。
void f(char *s); // return type is voidint sum(int a, int b); // return type of sum is int.int (*foo(const void *p))[3]; // return type is pointer to array of 3 int
函数声明符可以与其他声明符合在一起，只要它们可以共享它们的类型说明符和限定符。
int f(void), *fip(), (*pfi)(), *ap[3]; // declares two functions and two objectsinline int g(int), n; // error: inline qualifier is for functions onlytypedef int array_t[3];array_t a, h(); // error: array type cannot be a return type for a function
如果函数声明出现在任何函数之外，它引入的标识符具有文件范围和外部链接，除非static被使用或者以前的静态声明是可见的。如果声明发生在另一个函数中，则该标识符具有块范围（并且还有内部或外部链接）。
int main(void){
int f(int); // external linkage, file scope f(1); // definition needs to be available somewhere in the program}声明中不是函数定义一部分的参数不需要命名：
int f(int, int); // declaration// int f(int, int) { return 7; } // Error, parameters must be named in definitions参数列表中的每个参数都是引入单个变量的声明，并具有以下附加属性：
声明符中的标识符是可选的（除非该函数声明是函数定义的一部分）
int f(int, double); // OKint g(int a, double b); // also OKint f(int, double) { return 1; } // Error: definition must name parameters唯一允许存在参数的存储类说明符是
register，并且它在函数声明中被忽略，而非定义
int f(static int x); // Errorint f(int [static 10]); // OK (array index static is not a storage class specifier)
数组类型的任何参数都会调整为相应的指针类型，如果数组声明符的方括号之间存在限定符（可能为C99）
int f(int[]); // declares int f(int*)int g(const int[10]); // declares int g(const int*)int h(int[const volatile]); // declares int h(int * const volatile)int x(int[*]); // declares int x(int*)
函数类型的任何参数都会被调整为相应的指针类型
int f(char g(double)); // declares int f(char (*g)(double))int h(int(void)); // declares int h(int (*)(void))
参数列表可能会终止
, ...，详见可变参数函数。
int f(int, ...);
参数不能有类型
void（但可以有指向void的类型指针）。完全由关键字组成的特殊参数列表void用于声明不带参数的函数。
int f(void); // OKint g(void x); // Error
出现在参数列表中的任何标识符都可以作为typedef名称或参数名称处理为 typedef 名称：
int f(size_t,uintptr_t)被解析为函数的新样式声明器，该函数采用两个未命名的 size_t 和 uintptr_t 类型的参数，而不是一个旧式的声明器，它以一个名为 “size_t” 和 “uintptr_t” 的参数开始函数的定义。参数可能有不完整的类型，并可能使用 VLA 符号*（除了在函数定义中，数组间指针和函数指针调整后的参数类型必须完整）
有关函数调用机制的其他详细信息，请参阅函数调用运算符，然后返回以从函数返回。
笔记
不像在 C ++中，说明符f()和f(void)具有不同的含义：该声明符f(void))是一种新的风格（原型）声明符声明一个函数，它没有参数。声明符f()是一种旧式（K＆R）声明符，它声明了一个函数，该函数接受未指定数量的参数（除非在旧式函数定义中使用）。
int f(void); // declaration: takes no parametersint g(); // declaration: takes unknown parameters
int main(void) { f(1); // compile-time error g(2); // undefined behavior}
int f(void) { return 1; ) // actual definitionint g(a,b,c,d) int a,b,c,d; { return 2; } // actual definition与函数定义不同，参数列表可以从 typedef 继承。
typedef int p(int q, int r); // p is a function type int(int, int)p f; // declares inf f(int, int)
在 C89中，说明符和限定符是可选的，如果省略，函数的返回类型默认为 int（可能由声明者修改）。* f（）{//函数返回 int *返回NULL; } | （直到C99） |
|---|
参考
C11 standard (ISO/IEC 9899:2011):
6.7.6.3 Function declarators (including prototypes) (p: 133-136)
C99 standard (ISO/IEC 9899:1999):
6.7.5.3 Function declarators (including prototypes) (p: 118-121)
C89/C90 standard (ISO/IEC 9899:1990):
3.5.4.3 Function declarators (including prototypes)