Requires-expression | Andrzej’s C++ blog – WordPress.com

July 1, 2025

In this post we will look at requires -expression as a stand-alone feature, and explore its limits. A requires -expression, in short, tests if a given set of template parameters provides a desired interface: member functions, free functions, associated types, and more.

https://akrzemi1.wordpress.com/2020/01/29/requires-expression/

Requires-expression | Andrzej’s C++ blog – WordPress.com <body> <h1> Array ( [0] => eequires-expression | andrzej’s c++ blog – wordpress.com [1] => dequires-expression | andrzej’s c++ blog – wordpress.com [2] => fequires-expression | andrzej’s c++ blog – wordpress.com [3] => tequires-expression | andrzej’s c++ blog – wordpress.com [4] => 5equires-expression | andrzej’s c++ blog – wordpress.com [5] => 4equires-expression | andrzej’s c++ blog – wordpress.com [6] => rwquires-expression | andrzej’s c++ blog – wordpress.com [7] => rsquires-expression | andrzej’s c++ blog – wordpress.com [8] => rdquires-expression | andrzej’s c++ blog – wordpress.com [9] => rrquires-expression | andrzej’s c++ blog – wordpress.com [10] => r4quires-expression | andrzej’s c++ blog – wordpress.com [11] => r3quires-expression | andrzej’s c++ blog – wordpress.com [12] => re1uires-expression | andrzej’s c++ blog – wordpress.com [13] => re2uires-expression | andrzej’s c++ blog – wordpress.com [14] => rewuires-expression | andrzej’s c++ blog – wordpress.com [15] => reauires-expression | andrzej’s c++ blog – wordpress.com [16] => reqyires-expression | andrzej’s c++ blog – wordpress.com [17] => reqhires-expression | andrzej’s c++ blog – wordpress.com [18] => reqjires-expression | andrzej’s c++ blog – wordpress.com [19] => reqiires-expression | andrzej’s c++ blog – wordpress.com [20] => req8ires-expression | andrzej’s c++ blog – wordpress.com [21] => req7ires-expression | andrzej’s c++ blog – wordpress.com [22] => requures-expression | andrzej’s c++ blog – wordpress.com [23] => requjres-expression | andrzej’s c++ blog – wordpress.com [24] => requkres-expression | andrzej’s c++ blog – wordpress.com [25] => requores-expression | andrzej’s c++ blog – wordpress.com [26] => requ9res-expression | andrzej’s c++ blog – wordpress.com [27] => requ8res-expression | andrzej’s c++ blog – wordpress.com [28] => requiees-expression | andrzej’s c++ blog – wordpress.com [29] => requides-expression | andrzej’s c++ blog – wordpress.com [30] => requifes-expression | andrzej’s c++ blog – wordpress.com [31] => requites-expression | andrzej’s c++ blog – wordpress.com [32] => requi5es-expression | andrzej’s c++ blog – wordpress.com [33] => requi4es-expression | andrzej’s c++ blog – wordpress.com [34] => requirws-expression | andrzej’s c++ blog – wordpress.com [35] => requirss-expression | andrzej’s c++ blog – wordpress.com [36] => requirds-expression | andrzej’s c++ blog – wordpress.com [37] => requirrs-expression | andrzej’s c++ blog – wordpress.com [38] => requir4s-expression | andrzej’s c++ blog – wordpress.com [39] => requir3s-expression | andrzej’s c++ blog – wordpress.com [40] => requirea-expression | andrzej’s c++ blog – wordpress.com [41] => requirez-expression | andrzej’s c++ blog – wordpress.com [42] => requirex-expression | andrzej’s c++ blog – wordpress.com [43] => required-expression | andrzej’s c++ blog – wordpress.com [44] => requiree-expression | andrzej’s c++ blog – wordpress.com [45] => requirew-expression | andrzej’s c++ blog – wordpress.com [46] => requires0expression | andrzej’s c++ blog – wordpress.com [47] => requirespexpression | andrzej’s c++ blog – wordpress.com [48] => requires-wxpression | andrzej’s c++ blog – wordpress.com [49] => requires-sxpression | andrzej’s c++ blog – wordpress.com [50] => requires-dxpression | andrzej’s c++ blog – wordpress.com [51] => requires-rxpression | andrzej’s c++ blog – wordpress.com [52] => requires-4xpression | andrzej’s c++ blog – wordpress.com [53] => requires-3xpression | andrzej’s c++ blog – wordpress.com [54] => requires-ezpression | andrzej’s c++ blog – wordpress.com [55] => requires-ecpression | andrzej’s c++ blog – wordpress.com [56] => requires-edpression | andrzej’s c++ blog – wordpress.com [57] => requires-espression | andrzej’s c++ blog – wordpress.com [58] => requires-exoression | andrzej’s c++ blog – wordpress.com [59] => requires-exlression | andrzej’s c++ blog – wordpress.com [60] => requires-ex-ression | andrzej’s c++ blog – wordpress.com [61] => requires-ex0ression | andrzej’s c++ blog – wordpress.com [62] => requires-expeession | andrzej’s c++ blog – wordpress.com [63] => requires-expdession | andrzej’s c++ blog – wordpress.com [64] => requires-expfession | andrzej’s c++ blog – wordpress.com [65] => requires-exptession | andrzej’s c++ blog – wordpress.com [66] => requires-exp5ession | andrzej’s c++ blog – wordpress.com [67] => requires-exp4ession | andrzej’s c++ blog – wordpress.com [68] => requires-exprwssion | andrzej’s c++ blog – wordpress.com [69] => requires-exprsssion | andrzej’s c++ blog – wordpress.com [70] => requires-exprdssion | andrzej’s c++ blog – wordpress.com [71] => requires-exprrssion | andrzej’s c++ blog – wordpress.com [72] => requires-expr4ssion | andrzej’s c++ blog – wordpress.com [73] => requires-expr3ssion | andrzej’s c++ blog – wordpress.com [74] => requires-expreasion | andrzej’s c++ blog – wordpress.com [75] => requires-exprezsion | andrzej’s c++ blog – wordpress.com [76] => requires-exprexsion | andrzej’s c++ blog – wordpress.com [77] => requires-expredsion | andrzej’s c++ blog – wordpress.com [78] => requires-expreesion | andrzej’s c++ blog – wordpress.com [79] => requires-exprewsion | andrzej’s c++ blog – wordpress.com [80] => requires-expresaion | andrzej’s c++ blog – wordpress.com [81] => requires-expreszion | andrzej’s c++ blog – wordpress.com [82] => requires-expresxion | andrzej’s c++ blog – wordpress.com [83] => requires-expresdion | andrzej’s c++ blog – wordpress.com [84] => requires-expreseion | andrzej’s c++ blog – wordpress.com [85] => requires-expreswion | andrzej’s c++ blog – wordpress.com [86] => requires-expressuon | andrzej’s c++ blog – wordpress.com [87] => requires-expressjon | andrzej’s c++ blog – wordpress.com [88] => requires-expresskon | andrzej’s c++ blog – wordpress.com [89] => requires-expressoon | andrzej’s c++ blog – wordpress.com [90] => requires-express9on | andrzej’s c++ blog – wordpress.com [91] => requires-express8on | andrzej’s c++ blog – wordpress.com [92] => requires-expressiin | andrzej’s c++ blog – wordpress.com [93] => requires-expressikn | andrzej’s c++ blog – wordpress.com [94] => requires-expressiln | andrzej’s c++ blog – wordpress.com [95] => requires-expressipn | andrzej’s c++ blog – wordpress.com [96] => requires-expressi0n | andrzej’s c++ blog – wordpress.com [97] => requires-expressi9n | andrzej’s c++ blog – wordpress.com [98] => requires-expressiob | andrzej’s c++ blog – wordpress.com [99] => requires-expressiom | andrzej’s c++ blog – wordpress.com [100] => requires-expressioj | andrzej’s c++ blog – wordpress.com [101] => requires-expressioh | andrzej’s c++ blog – wordpress.com [102] => requires-expression | zndrzej’s c++ blog – wordpress.com [103] => requires-expression | sndrzej’s c++ blog – wordpress.com [104] => requires-expression | wndrzej’s c++ blog – wordpress.com [105] => requires-expression | qndrzej’s c++ blog – wordpress.com [106] => requires-expression | abdrzej’s c++ blog – wordpress.com [107] => requires-expression | amdrzej’s c++ blog – wordpress.com [108] => requires-expression | ajdrzej’s c++ blog – wordpress.com [109] => requires-expression | ahdrzej’s c++ blog – wordpress.com [110] => requires-expression | ansrzej’s c++ blog – wordpress.com [111] => requires-expression | anxrzej’s c++ blog – wordpress.com [112] => requires-expression | ancrzej’s c++ blog – wordpress.com [113] => requires-expression | anfrzej’s c++ blog – wordpress.com [114] => requires-expression | anrrzej’s c++ blog – wordpress.com [115] => requires-expression | anerzej’s c++ blog – wordpress.com [116] => requires-expression | andezej’s c++ blog – wordpress.com [117] => requires-expression | anddzej’s c++ blog – wordpress.com [118] => requires-expression | andfzej’s c++ blog – wordpress.com [119] => requires-expression | andtzej’s c++ blog – wordpress.com [120] => requires-expression | and5zej’s c++ blog – wordpress.com [121] => requires-expression | and4zej’s c++ blog – wordpress.com [122] => requires-expression | andrxej’s c++ blog – wordpress.com [123] => requires-expression | andrsej’s c++ blog – wordpress.com [124] => requires-expression | andraej’s c++ blog – wordpress.com [125] => requires-expression | andrzwj’s c++ blog – wordpress.com [126] => requires-expression | andrzsj’s c++ blog – wordpress.com [127] => requires-expression | andrzdj’s c++ blog – wordpress.com [128] => requires-expression | andrzrj’s c++ blog – wordpress.com [129] => requires-expression | andrz4j’s c++ blog – wordpress.com [130] => requires-expression | andrz3j’s c++ blog – wordpress.com [131] => requires-expression | andrzeh’s c++ blog – wordpress.com [132] => requires-expression | andrzen’s c++ blog – wordpress.com [133] => requires-expression | andrzem’s c++ blog – wordpress.com [134] => requires-expression | andrzek’s c++ blog – wordpress.com [135] => requires-expression | andrzei’s c++ blog – wordpress.com [136] => requires-expression | andrzeu’s c++ blog – wordpress.com [137] => requires-expression | andrzejᰱs c++ blog – wordpress.com [138] => requires-expression | andrzej&#u217;s c++ blog – wordpress.com [139] => requires-expression | andrzej&#i217;s c++ blog – wordpress.com [140] => requires-expression | andrzej␁s c++ blog – wordpress.com [141] => requires-expression | andrzej᾵s c++ blog – wordpress.com [142] => requires-expression | andrzej&#8q17;s c++ blog – wordpress.com [143] => requires-expression | andrzej&#8w17;s c++ blog – wordpress.com [144] => requires-expression | andrzej⁽s c++ blog – wordpress.com [145] => requires-expression | andrzej‣s c++ blog – wordpress.com [146] => requires-expression | andrzej&#82q7;s c++ blog – wordpress.com [147] => requires-expression | andrzej‘s c++ blog – wordpress.com [148] => requires-expression | andrzej&#821y;s c++ blog – wordpress.com [149] => requires-expression | andrzej&#821u;s c++ blog – wordpress.com [150] => requires-expression | andrzej‚s c++ blog – wordpress.com [151] => requires-expression | andrzej’a c++ blog – wordpress.com [152] => requires-expression | andrzej’z c++ blog – wordpress.com [153] => requires-expression | andrzej’x c++ blog – wordpress.com [154] => requires-expression | andrzej’d c++ blog – wordpress.com [155] => requires-expression | andrzej’e c++ blog – wordpress.com [156] => requires-expression | andrzej’w c++ blog – wordpress.com [157] => requires-expression | andrzej’s x++ blog – wordpress.com [158] => requires-expression | andrzej’s v++ blog – wordpress.com [159] => requires-expression | andrzej’s f++ blog – wordpress.com [160] => requires-expression | andrzej’s d++ blog – wordpress.com [161] => requires-expression | andrzej’s c++ vlog – wordpress.com [162] => requires-expression | andrzej’s c++ nlog – wordpress.com [163] => requires-expression | andrzej’s c++ hlog – wordpress.com [164] => requires-expression | andrzej’s c++ glog – wordpress.com [165] => requires-expression | andrzej’s c++ bkog – wordpress.com [166] => requires-expression | andrzej’s c++ bpog – wordpress.com [167] => requires-expression | andrzej’s c++ boog – wordpress.com [168] => requires-expression | andrzej’s c++ blig – wordpress.com [169] => requires-expression | andrzej’s c++ blkg – wordpress.com [170] => requires-expression | andrzej’s c++ bllg – wordpress.com [171] => requires-expression | andrzej’s c++ blpg – wordpress.com [172] => requires-expression | andrzej’s c++ bl0g – wordpress.com [173] => requires-expression | andrzej’s c++ bl9g – wordpress.com [174] => requires-expression | andrzej’s c++ blof – wordpress.com [175] => requires-expression | andrzej’s c++ blov – wordpress.com [176] => requires-expression | andrzej’s c++ blob – wordpress.com [177] => requires-expression | andrzej’s c++ bloh – wordpress.com [178] => requires-expression | andrzej’s c++ bloy – wordpress.com [179] => requires-expression | andrzej’s c++ blot – wordpress.com [180] => requires-expression | andrzej’s c++ blog ᰫ wordpress.com [181] => requires-expression | andrzej’s c++ blog &#u211; wordpress.com [182] => requires-expression | andrzej’s c++ blog &#i211; wordpress.com [183] => requires-expression | andrzej’s c++ blog ⏻ wordpress.com [184] => requires-expression | andrzej’s c++ blog ᾯ wordpress.com [185] => requires-expression | andrzej’s c++ blog &#8q11; wordpress.com [186] => requires-expression | andrzej’s c++ blog &#8w11; wordpress.com [187] => requires-expression | andrzej’s c++ blog ⁷ wordpress.com [188] => requires-expression | andrzej’s c++ blog ” wordpress.com [189] => requires-expression | andrzej’s c++ blog &#82q1; wordpress.com [190] => requires-expression | andrzej’s c++ blog — wordpress.com [191] => requires-expression | andrzej’s c++ blog &#821q; wordpress.com [192] => requires-expression | andrzej’s c++ blog – qordpress.com [193] => requires-expression | andrzej’s c++ blog – aordpress.com [194] => requires-expression | andrzej’s c++ blog – sordpress.com [195] => requires-expression | andrzej’s c++ blog – eordpress.com [196] => requires-expression | andrzej’s c++ blog – 3ordpress.com [197] => requires-expression | andrzej’s c++ blog – 2ordpress.com [198] => requires-expression | andrzej’s c++ blog – wirdpress.com [199] => requires-expression | andrzej’s c++ blog – wkrdpress.com [200] => requires-expression | andrzej’s c++ blog – wlrdpress.com [201] => requires-expression | andrzej’s c++ blog – wprdpress.com [202] => requires-expression | andrzej’s c++ blog – w0rdpress.com [203] => requires-expression | andrzej’s c++ blog – w9rdpress.com [204] => requires-expression | andrzej’s c++ blog – woedpress.com [205] => requires-expression | andrzej’s c++ blog – woddpress.com [206] => requires-expression | andrzej’s c++ blog – wofdpress.com [207] => requires-expression | andrzej’s c++ blog – wotdpress.com [208] => requires-expression | andrzej’s c++ blog – wo5dpress.com [209] => requires-expression | andrzej’s c++ blog – wo4dpress.com [210] => requires-expression | andrzej’s c++ blog – worspress.com [211] => requires-expression | andrzej’s c++ blog – worxpress.com [212] => requires-expression | andrzej’s c++ blog – worcpress.com [213] => requires-expression | andrzej’s c++ blog – worfpress.com [214] => requires-expression | andrzej’s c++ blog – worrpress.com [215] => requires-expression | andrzej’s c++ blog – worepress.com [216] => requires-expression | andrzej’s c++ blog – wordoress.com [217] => requires-expression | andrzej’s c++ blog – wordlress.com [218] => requires-expression | andrzej’s c++ blog – word-ress.com [219] => requires-expression | andrzej’s c++ blog – word0ress.com [220] => requires-expression | andrzej’s c++ blog – wordpeess.com [221] => requires-expression | andrzej’s c++ blog – wordpdess.com [222] => requires-expression | andrzej’s c++ blog – wordpfess.com [223] => requires-expression | andrzej’s c++ blog – wordptess.com [224] => requires-expression | andrzej’s c++ blog – wordp5ess.com [225] => requires-expression | andrzej’s c++ blog – wordp4ess.com [226] => requires-expression | andrzej’s c++ blog – wordprwss.com [227] => requires-expression | andrzej’s c++ blog – wordprsss.com [228] => requires-expression | andrzej’s c++ blog – wordprdss.com [229] => requires-expression | andrzej’s c++ blog – wordprrss.com [230] => requires-expression | andrzej’s c++ blog – wordpr4ss.com [231] => requires-expression | andrzej’s c++ blog – wordpr3ss.com [232] => requires-expression | andrzej’s c++ blog – wordpreas.com [233] => requires-expression | andrzej’s c++ blog – wordprezs.com [234] => requires-expression | andrzej’s c++ blog – wordprexs.com [235] => requires-expression | andrzej’s c++ blog – wordpreds.com [236] => requires-expression | andrzej’s c++ blog – wordprees.com [237] => requires-expression | andrzej’s c++ blog – wordprews.com [238] => requires-expression | andrzej’s c++ blog – wordpresa.com [239] => requires-expression | andrzej’s c++ blog – wordpresz.com [240] => requires-expression | andrzej’s c++ blog – wordpresx.com [241] => requires-expression | andrzej’s c++ blog – wordpresd.com [242] => requires-expression | andrzej’s c++ blog – wordprese.com [243] => requires-expression | andrzej’s c++ blog – wordpresw.com [244] => requires-expression | andrzej’s c++ blog – wordpress,com [245] => requires-expression | andrzej’s c++ blog – wordpresslcom [246] => requires-expression | andrzej’s c++ blog – wordpress;com [247] => requires-expression | andrzej’s c++ blog – wordpress/com [248] => requires-expression | andrzej’s c++ blog – wordpress.xom [249] => requires-expression | andrzej’s c++ blog – wordpress.vom [250] => requires-expression | andrzej’s c++ blog – wordpress.fom [251] => requires-expression | andrzej’s c++ blog – wordpress.dom [252] => requires-expression | andrzej’s c++ blog – wordpress.cim [253] => requires-expression | andrzej’s c++ blog – wordpress.ckm [254] => requires-expression | andrzej’s c++ blog – wordpress.clm [255] => requires-expression | andrzej’s c++ blog – wordpress.cpm [256] => requires-expression | andrzej’s c++ blog – wordpress.c0m [257] => requires-expression | andrzej’s c++ blog – wordpress.c9m [258] => requires-expression | andrzej’s c++ blog – wordpress.con [259] => requires-expression | andrzej’s c++ blog – wordpress.cok [260] => requires-expression | andrzej’s c++ blog – wordpress.coj ) </h1> </body>