亚洲国产日韩欧美一区二区三区,精品亚洲国产成人av在线,国产99视频精品免视看7,99国产精品久久久久久久成人热,欧美日韩亚洲国产综合乱

目錄 搜尋
Algorithms Algorithms(算法) bsearch bsearch_s qsort qsort_s Atomic operations Atomic operations library(原子操作庫) ATOMIC_*_LOCK_FREE atomic_compare_exchange_strong atomic_compare_exchange_strong_explicit atomic_compare_exchange_weak atomic_compare_exchange_weak_explicit atomic_exchange atomic_exchange_explicit atomic_fetch_add atomic_fetch_add_explicit atomic_fetch_and atomic_fetch_and_explicit atomic_fetch_or atomic_fetch_or_explicit atomic_fetch_sub atomic_fetch_sub_explicit atomic_fetch_xor atomic_fetch_xor_explicit atomic_flag atomic_flag_clear atomic_flag_clear_explicit ATOMIC_FLAG_INIT atomic_flag_test_and_set atomic_flag_test_and_set_explicit atomic_init atomic_is_lock_free atomic_load atomic_load_explicit atomic_signal_fence atomic_store atomic_store_explicit atomic_thread_fence(線程圍欄) ATOMIC_VAR_INIT kill_dependency memory_order(內(nèi)存排序) C keywords auto(自動存儲) break(跳出循環(huán)) C keywords(關(guān)鍵詞) case char const(常量修飾符) continue default(預(yù)設(shè)運算式) do double(雙精度浮點型) else enum(枚舉類型) extern(全局變量) float(浮點數(shù)) for fortran goto(goto語句) if(if語句) inline(行內(nèi)函式) int long(長整型) register(寄存器變量) restrict( restrict類型限定符) return short signed sizeof(sizeof運算符) static(靜態(tài)變量) struct(結(jié)構(gòu)體) switch(switch語句) typedef(typedef關(guān)鍵字) union(聯(lián)合體) unsigned(無符號) void(空類型) volatile(volatile變量) while(while語句) _Alignas _Alignof _Atomic _Bool _Complex _Generic _Imaginary _Noreturn _Static_assert _Thread_local C language #define directive #elif directive #else directive #endif directive #error directive #if directive #ifdef directive #ifndef directive #include directive #line directive #pragma directive alignas(對齊指定符) Alternative operators and tokens(替代運算符和令牌) Analyzability Arithmetic operators Arithmetic types Array declaration(數(shù)組聲明) Array initialization(陣列初始化) ASCII Chart Assignment operators(賦值運算符) types(atomic類型限定符) Basic concepts Bit fields(位域) break statement C language C Operator Precedence cast operator character constant(字符字面量) Comments(注釋符) Comparison operators(比較運算符) compound literals(符合字面量) Conditional inclusion(條件包含) Conformance(一致性) const type qualifier(const 限定符) Constant expressions(常量表達(dá)) continue statement Declarations(聲明) do-while loop Enumerations(枚舉類型) Escape sequences(轉(zhuǎn)義字符) Expressions(表達(dá)式) External and tentative definitions(外部和暫定的定義) File scope(文件范圍) floating constant(浮點常量) for loop Function declarations(函數(shù)聲明) Function definitions(函數(shù)聲明) Functions Generic selection泛型選擇 goto statement Identifier(標(biāo)示符) if statement Implicit conversions(隱式轉(zhuǎn)換) Increment/decrement operators(前置/后置操作符) Initialization(初始化) inline function specifier(內(nèi)聯(lián)函式) integer constant Lifetime(生命期) Logical operators(邏輯運算符) Lookup and name spaces Main function(主函式) Member access operators(會員接入運營商) Memory model Objects and alignment(字節(jié)對齊) Order of evaluation(評估順序) Other operators Phases of translation(翻譯階段) Pointer declaration Preprocessor(預(yù)處理) restrict type qualifier(restrict類型限定符) return statement Scalar initialization(標(biāo)量類型初始化) Scope(范圍) sizeof operator(sizeof運算符) Statements(陳述) static assert declaration(靜態(tài)斷言聲明) Static storage duration(靜態(tài)存儲周期) Storage-class specifiers(存儲類說明符) string literals(字符串字面量) Struct and union initialization(結(jié)構(gòu)體與聯(lián)合體初始化) Struct declaration(結(jié)構(gòu)體聲明) switch statement Thread storage duration(線程存儲時間) Type Type(類型) Typedef declaration(Typedef聲明) Undefined behavior(未定義行為) Union declaration(聯(lián)合體聲明) Value categories(值類別) Variadic arguments(變長參數(shù)宏) volatile type qualifier(volatile 類型限定符) while loop _Alignof operator _Noreturn function specifier Date and time asctime(asctime函數(shù)) asctime_s clock CLOCKS_PER_SEC clock_t ctime(ctime函數(shù)) ctime_s Date and time utilities(日期和時間庫) difftime(計算兩個時間的間隔) gmtime gmtime_s localtime localtime_s mktime(將時間結(jié)構(gòu)數(shù)據(jù)轉(zhuǎn)換成經(jīng)過的秒數(shù)的函數(shù)) strftime(格式化輸出時間函數(shù)) time timespec timespec_get time_t tm wcsftime(格式化時間寬字符) Dynamic memory management aligned_alloc C memory management library(內(nèi)存管理庫) calloc free(釋放動態(tài)分配空間的函數(shù)) malloc(動態(tài)分配內(nèi)存空間的函數(shù)) realloc(重新分配內(nèi)存空間的函數(shù)) Error handling abort_handler_s assert(斷言) constraint_handler_t errno(錯誤報告) Error handling(錯誤處理) Error numbers(錯誤個數(shù)) ignore_handler_s set_constraint_handler_s static_assert File input/output clearerr(清除/復(fù)位) fclose feof ferror fflush(清空文件緩沖區(qū)) fgetc fgetpos fgets fgetwc fgetws File input/output fopen fopen_s fprintf fprintf_s fputc fputs fputwc fputws fread freopen freopen_s fscanf fscanf_s fseek fsetpos ftell fwide fwprintf fwprintf_s fwrite fwscanf fwscanf_s getc getchar gets gets_s getwchar perror printf printf_s putc putchar puts putwc putwchar remove rename rewind scanf scanf_s setbuf setvbuf snprintf sprintf sscanf sscanf_s swprintf swprintf_s swscanf swscanf_s tmpfile tmpfile_s tmpnam tmpnam_s ungetc ungetwc vfprintf vfprintf_s vfscanf vfscanf_s vfwprintf vfwprintf_s vfwscanf vfwscanf_s vprintf vprintf_s vscanf vscanf_s vsnprintf vsprintf vsscanf vsscanf_s vswprintf vswprintf_s vswscanf vswscanf_s vwprintf vwprintf_s vwscanf vwscanf_s wprintf wprintf_s wscanf wscanf_s Localization support lconv LC_ALL LC_COLLATE LC_CTYPE LC_MONETARY LC_NUMERIC LC_TIME localeconv Localization support setlocale Numerics abs acos acosf acosh acoshf acoshl acosl asin asinf asinh asinhf asinhl asinl atan atan2 atan2f atan2l atanf atanh atanhf atanhl atanl cabs cabsf cabsl cacos cacosf cacosh cacoshf cacoshl cacosl carg cargf cargl casin casinf casinh casinhf casinhl casinl catan catanf catanh catanhf catanhl catanl cbrt cbrtf cbrtl ccos ccosf ccosh ccoshf ccoshl ccosl ceil ceilf ceill cexp cexpf cexpl cimag cimagf cimagl clog clogf clogl CMPLX CMPLXF CMPLXL Common mathematical functions complex Complex number arithmetic conj conjf conjl copysign copysignf copysignl cos cosf cosh coshf coshl cosl cpow cpowf cpowl cproj cprojf cprojl creal crealf creall csin csinf csinh csinhf csinhl csinl csqrt csqrtf csqrtl ctan ctanf ctanh ctanhf ctanhl ctanl div double_t erf erfc erfcf erfcl erff erfl exp exp2 exp2f exp2l expf expl expm1 expm1f expm1l fabs fabsf fabsl fdim feclearexcept fegetenv fegetexceptflag fegetround feholdexcept feraiseexcept fesetenv fesetexceptflag fesetround fetestexcept feupdateenv FE_ALL_EXCEPT FE_DFL_ENV FE_DIVBYZERO FE_DOWNWARD FE_INEXACT FE_INVALID FE_OVERFLOW FE_TONEAREST FE_TOWARDZERO FE_UNDERFLOW FE_UPWARD Floating-point environment float_t floor floorf floorl fma fmaf fmal fmax fmaxf fmaxl fmin fminf fminl fmod fmodf fmodl fpclassify FP_INFINITE FP_NAN FP_NORMAL FP_SUBNORMAL FP_ZERO frexp frexpf frexpl HUGE_VAL HUGE_VALF HUGE_VALL hypot hypotf hypotl I ilogb ilogbf ilogbl imaginary imaxabs imaxdiv INFINITY isfinite isgreater isgreaterequal isinf isless islessequal islessgreater isnan isnormal isunordered labs ldexp ldexpf ldexpl ldiv lgamma lgammaf lgammal llabs lldiv llrint llrintf llrintl llround llroundf llroundl log log10 log10f log10l log1p log1pf log1pl log2 log2f log2l logb logbf logbl logf logl lrint lrintf lrintl lround lroundf lroundl MATH_ERREXCEPT math_errhandling MATH_ERRNO modf modff modfl nan NAN nanf nanl nearbyint nearbyintf nearbyintl nextafter nextafterf nextafterl nexttoward nexttowardf nexttowardl Numerics pow powf powl Pseudo-random number generation rand RAND_MAX remainder remainderf remainderl remquo remquof remquol rint rintf rintl round roundf roundl scalbln scalblnf scalblnl scalbn scalbnf scalbnl signbit sin sinf sinh sinhf sinhl sinl sqrt sqrtf sqrtl srand tan tanf tanh tanhf tanhl tanl tgamma tgammaf tgammal trunc truncf truncl Type-generic math _Complex_I _Imaginary_I Program support abort atexit at_quick_exit exit EXIT_FAILURE EXIT_SUCCESS getenv getenv_s jmp_buf longjmp Program support utilities quick_exit raise setjmp SIGABRT SIGFPE SIGILL SIGINT signal SIGSEGV SIGTERM sig_atomic_t SIG_DFL SIG_ERR SIG_IGN system _Exit Strings atof atoi atol atoll btowc c16rtomb c32rtomb char16_t char32_t isalnum isalpha isblank iscntrl isdigit isgraph islower isprint ispunct isspace isupper iswalnum iswalpha iswblank iswcntrl iswctype iswdigit iswgraph iswlower iswprint iswpunct iswspace iswupper iswxdigit isxdigit mblen mbrlen mbrtoc16 mbrtoc32 mbrtowc mbsinit mbsrtowcs mbsrtowcs_s mbstate_t mbstowcs mbstowcs_s mbtowc memchr memcmp memcpy memcpy_s memmove memmove_s memset memset_s Null-terminated byte strings Null-terminated multibyte strings Null-terminated wide strings strcat strcat_s strchr strcmp strcoll strcpy strcpy_s strcspn strerror strerrorlen_s strerror_s Strings library strlen strncat Thread support call_once cnd_broadcast cnd_destroy cnd_init cnd_signal cnd_timedwait cnd_wait mtx_destroy mtx_init mtx_lock mtx_plain mtx_recursive mtx_timed mtx_timedlock mtx_trylock mtx_unlock once_flag ONCE_FLAG_INIT thrd_busy thrd_create thrd_current thrd_detach thrd_equal thrd_error thrd_exit thrd_join thrd_nomem thrd_sleep thrd_success thrd_timedout thrd_yield Thread support library thread_local tss_create tss_delete TSS_DTOR_ITERATIONS tss_get tss_set Type support Boolean type support library Fixed width integer types FLT_EVAL_METHOD FLT_ROUNDS max_align_t NULL Numeric limits offsetof ptrdiff_t size_t Type support Variadic functions Variadic functions va_arg va_copy va_end va_list va_start
文字

C類型系統(tǒng)中的每個單獨類型都具有該類型的多個限定版本,對應(yīng)于const,volatile中的一個,兩個或全部三個,并且對于指向?qū)ο箢愋偷闹羔槪?em style="font-style: italic;">限制限定符。本頁介紹的影響限制預(yù)選賽。

僅指向?qū)ο箢愋涂梢允窍拗坪细瘢ㄌ貏e地,int restrict *pfloat (* restrict f9)(void)是錯誤)。

限制語義僅適用于左值表達(dá)式; 例如,轉(zhuǎn)換為限制限定指針或返回限制限定指針的函數(shù)調(diào)用不是左值,并且限定符不起作用。

P聲明限制指針的塊的每次執(zhí)行過程中(通常每個函數(shù)體的每個執(zhí)行P都是一個函數(shù)參數(shù)),如果通過P(直接或間接)方式訪問的某個對象以任何方式被修改,則所有在該塊中訪問該對象(讀取和寫入)必須通過P(直接或間接)發(fā)生,否則行為未定義:

void f(int n, int * restrict p, int * restrict q){    while(n-- > 0)        *p++ = *q++; // none of the objects modified through *p is the same                     // as any of the objects read through *q                     // compiler free to optimize, vectorize, page map, etc.}void g(void){
    extern int d[100];    f(50, d + 50, d); // OK    f(50, d + 1, d); // Undefined behavior: d[1] is accessed through both p and q in f}

如果對象從不修改,則可能會被別名和通過不同的限制限定指針訪問(請注意,如果由別名限制限定指針指向的對象又是指針,則此別名可能會禁止優(yōu)化)。

從一個受限指針指向另一個受限指針是未定義的行為,除非將指向某個外部塊中的對象的指針指定給某個內(nèi)部塊中的指針(包括在調(diào)用具有受限指針參數(shù)的函數(shù)時使用受限指針參數(shù)),或者何時從一個函數(shù)返回(否則當(dāng)from-pointer結(jié)束時):

int* restrict p1 = &a;int* restrict p2 = &b;p1 = p2; // undefined behavior

受限制的指針可以自由分配給無限制的指針,只要編譯器能夠分析代碼,優(yōu)化機(jī)會就會保持原狀:

void f(int n, float * restrict r, float * restrict s) {
   float * p = r, * q = s; // OK   while(n-- > 0) *p++ = *q++; // almost certainly optimized just like *r++ = *s++}

如果使用限制類型限定符(通過使用typedef)聲明數(shù)組類型,則數(shù)組類型不受限制,但其元素類型為:

typedef int *array_t[10];restrict array_t a; // the type of a is int *restrict[10]

在函數(shù)聲明中,關(guān)鍵字restrict可能出現(xiàn)在用于聲明函數(shù)參數(shù)的數(shù)組類型的方括號內(nèi)。它限定了數(shù)組類型轉(zhuǎn)換的指針類型:

void f(int m, int n, float a[restrict m][n], float b[restrict m][n]);void g12(int n, float (*p)[n]) {   f(10, n, p, p+10); // OK   f(20, n, p, p+10); // possibly undefined behavior (depending on what f does)}

注意

限制限定符(如注冊存儲類)的預(yù)期用途是促進(jìn)優(yōu)化,并且從組成合格程序的所有預(yù)處理翻譯單元中刪除所有限定符的實例不會改變其含義(即可觀察到的行為)。

編譯器可以自由地忽略使用的任何或所有別名含義restrict。

為了避免未定義的行為,程序員必須確保不受違反限制限制指針的別名聲明。

作為語言擴(kuò)展,許多編譯器提供了與之相反restrict的屬性:一個屬性,指示即使類型不同,指針也可以是別名:may_alias(gcc),

限制限定指針有幾種常見的使用模式:

文件范圍

文件范圍限制限定指針必須在程序期間指向單個數(shù)組對象。該數(shù)組對象不能通過受限制的指針和聲明的名稱(如果它有一個)或另一個受限制的指針來引用。

文件范圍受限指針在提供對動態(tài)分配的全局?jǐn)?shù)組的訪問時很有用; 限制語義可以通過這個指針來優(yōu)化引用,就像通過聲明名稱引用靜態(tài)數(shù)組一樣有效:

float * restrict a, * restrict b;float c[100];
 int init(int n) {
   float * t = malloc(2*n*sizeof(float));
   a = t;      // a refers to 1st half
   b = t + n;  // b refers to 2nd half}// compiler can deduce from the restrict qualifiers that// there is no potential aliasing among the names a, b, and c

函數(shù)參數(shù)

限制限定指針最常用的用例是用作函數(shù)參數(shù)。

在以下示例中,編譯器可能會推斷出沒有修改對象的別名,因此積極優(yōu)化循環(huán)。一旦進(jìn)入f,受限指針a必須提供對其相關(guān)陣列的獨占訪問權(quán)限。特別是,在f中,b和c都不會指向與a相關(guān)的數(shù)組,因為它們都不會被指定基于a的指針值。對于b,從聲明中的const限定詞中可以明顯看出,但對于c,需要檢查f的主體:

float x[100];float *c;void f(int n, float * restrict a, float * const b) {
    int i;    for ( i=0; i<n; i++ )
       a[i] = b[i] + c[i];}void g3(void) {
    float d[100], e[100];
    c = x; f(100,   d,    e); // OK           f( 50,   d, d+50); // OK           f( 99, d+1,    d); // undefined behavior
    c = d; f( 99, d+1,    e); // undefined behavior           f( 99,   e,  d+1); // OK}

請注意,允許c指向與b關(guān)聯(lián)的數(shù)組。還要注意,出于這些目的,與特定指針關(guān)聯(lián)的“數(shù)組”只意味著通過該指針實際引用的數(shù)組對象的那部分。

塊范圍

塊范圍限制限定指針使得限制為其塊的別名斷言成為可能。它允許局部斷言只適用于重要的塊,比如緊密的循環(huán)。它還可以將一個將限制合格指針的函數(shù)轉(zhuǎn)換為一個宏:

float x[100];float *c;#define f3(N, A, B)                                    \{   int n = (N);                                       \
    float * restrict a = (A);                          \
    float * const    b = (B);                          \
    int i;                                             \    for ( i=0; i<n; i++ )                              \
        a[i] = b[i] + c[i];                            \}

結(jié)構(gòu)成員

由作為結(jié)構(gòu)成員的限制限定指針產(chǎn)生的別名聲明的范圍是用于訪問該結(jié)構(gòu)的標(biāo)識符的范圍。

即使結(jié)構(gòu)在文件范圍內(nèi)聲明,當(dāng)用于訪問結(jié)構(gòu)的標(biāo)識符具有塊范圍時,結(jié)構(gòu)中的別名聲明也具有塊范圍; 別名聲明僅在塊執(zhí)行或函數(shù)調(diào)用中生效,具體取決于如何創(chuàng)建此結(jié)構(gòu)類型的對象:

struct t {    // Restricted pointers assert that   
   int n;     // members point to disjoint storage.
   float * restrict p;
   float * restrict q;}; void ff(struct t r, struct t s) {
   struct t u;   // r,s,u have block scope   // r.p, r.q, s.p, s.q, u.p, u.q should all point to   // disjoint storage during each execution of f.   // ...}

關(guān)鍵詞

restrict.

代碼生成示例; 用-S(gcc,clang等)或/ FA(visual studio)編譯。

int foo(int *a, int *b){    *a = 5;    *b = 6;    return *a + *b;}
 int rfoo(int *restrict a, int *restrict b){    *a = 5;    *b = 6;    return *a + *b;}

可能的輸出:

# generated code on 64bit Intel platform:foo:
    movl    $5, (%rdi)    # store 5 in *a
    movl    $6, (%rsi)    # store 6 in *b    movl    (%rdi), %eax  # read back from *a in case previous store modified it
    addl    $6, %eax      # add 6 to the value read from *a
    ret
 
rfoo:
    movl      $11, %eax   # the result is 11, a compile-time constant
    movl      $5, (%rdi)  # store 5 in *a
    movl      $6, (%rsi)  # store 6 in *b
    ret
上一篇: 下一篇: