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手册 发布
文字
（包括函数调用表达式中函数参数的评估顺序，以及任何表达式中子表达式的评估顺序）的任何C运算符的操作数的评估顺序是未指定的（除非在下面指出）。编译器将以任何顺序对它们进行评估，并且可以在再次评估同一个表达式时选择另一个顺序。
在C中没有从左到右或从右到左的评估概念，这不应该与操作符的从左到右和从右到左的关联性相混淆：表达式f1() + f2() + f3()被解析为(f1() + f2()) + f3()由于左operator +的从右到关联性，但函数调用f3可以在运行时首先，最后或之间f1()或f2()在运行时进行评估。
定义
评估
编译器对每个表达式或子表达式执行两种评估（两者都是可选的）：
值计算：计算表达式返回的值。这可能涉及确定对象的身份（左值评估）或读取先前分配给对象的值（右值评估）
副作用：访问（读取或写入）由易变的左值指定的对象，修改（写入）对象，原子同步（自C11起），修改文件，修改浮点环境（如果支持）或调用一个执行任何这些操作的函数。
如果表达式不产生副作用，并且编译器可以确定该值未被使用，则表达式可能不会被评估。
排序
“sequenced-before”是同一线程内的评估之间的不对称，传递，成对关系（如果涉及原子类型和内存障碍，它可以跨线程延伸）。
如果一个序列点存在于子表达式E1和E2之间，那么E1的值计算和副作用都被排序 - 在 E2的每个值计算和副作用之前
如果在评估B之前对评估A进行排序，那么在开始评估B之前评估A将会完成。如果A在B之前未被测序，而B在A之前被测序，那么在评估A开始之前B的评估将完成。如果A不B之前测序和B不是A之前测序，然后两种可能性存在：A，B的评价是未测序：它们可以以任何顺序执行，并且可以重叠（单个执行线程内，编译器可以交织包含A和B）的A和B评估的CPU指令是不确定地排序的：它们可以以任何顺序执行但可能不重叠：A在B之前将是完整的，或者B将在A之前完成。在下一次评估同一个表达式时是相反的。 | （自C11以来） |
|---|
如果在评估B之前对评估A进行排序，那么在开始评估B之前评估A将会完成。
如果A在B之前未被测序，而B在A之前被测序，那么在评估A开始之前B的评估将完成。
如果A在B和B未在A之前排序之前未被测序，则存在两种可能性：
A和B的评估是不确定的：它们可以以任何顺序执行并且可以重叠（在单个执行线程内，编译器可以交织包括A和B的CPU指令）
A和B的评估是不确定地排序的：它们可以以任何顺序执行但可能不重叠：A会在B之前完成，或B在A之前完成。顺序可能与下次相同表达式相反被评估。
(since C11)
规则
1）评估所有函数参数和函数指示符后，以及实际函数调用之前，有一个序列点。
2）在评估第一个（左）操作数之后以及评估以下二元运算符的第二个（右）操作数之前，有一个序列点:( &&逻辑AND），||（逻辑OR）和,（逗号）。
3）在评估第一个（左）操作数之后并且在评估第二个或第三个操作数（以评估者为准）之前有一个序列点， ?:
4）在完整表达式（表达式不是子表达式：通常是以分号或if / switch / while / do的控制语句结束的表达式）和下一个完整表达式之前有一个序列点。
5）完整声明的结尾处有一个序列点。6）在函数返回之前有一个序列点。7）在格式化I / O中的每个转换说明符相关的动作之后有一个序列点（特别是，对于scanf将不同的字段写入同一变量以及用于读取和修改或修改相同变量的printf变量不止一次使用％n）8）在每次调用库函数qsort和bsearch所做的比较函数之前以及之后，以及任何对比较函数的调用和关联对象的移动之间都有序列点由qsort制作 | （自C99以来） |
|---|---|
9）操作数对任何操作符的值计算（但不是副作用）在操作符结果的值计算之前（但不包括其副作用）排序。10）直接赋值运算符和所有复合赋值运算符的副作用（左变元的修改）在左和右两个参数的值计算（但不是副作用）之后排序。11）后增量和后减算子的值计算在其副作用之前被排序。12）在另一个函数调用之前或之后未被排序的函数调用被不确定地排序（构成不同函数调用的CPU指令不能交错，即使函数被内联）13）在初始化列表表达式中， | （自C11以来） |
未定义的行为
1）如果对标量对象的副作用相对于同一标量对象上的另一副作用而言是不确定的，则行为是不确定的。
i = ++i + i++; // undefined behaviori = i++ + 1; // undefined behaviorf(++i, ++i); // undefined behaviorf(i = -1, i = -1); // undefined behavior
2）如果标量对象的副作用相对于使用相同标量对象的值进行值计算而言是未定序的，则行为是未定义的。
f(i, i++); // undefined behaviora[i] = i++; // undefined bevahior
3）只要子表达式的至少一个允许排序允许这样一个不确定的副作用，上述规则就适用。