ต้องใช้นิพจน์ที่ได้รับอนุญาตในการ "จับ" ตัวแปรของขอบเขตการล้อมรอบหรือไม่

ในตัวอย่างต่อไปนี้อาร์กิวเมนต์ของฟังก์ชันถูกใช้เพื่อทดสอบด้วยนิพจน์ที่ต้องการว่านิพจน์ที่ใช้พวกเขานั้นมีรูปแบบที่ดีหรือไม่ การแสดงออกต้องไม่มีการโต้แย้ง; มันใช้ตัวแปรในขอบเขตฟังก์ชั่นโดยตรง:

#include <cstddef>
#include <vector>

template<typename T>
void Resize(T &v, std::size_t const n)
{
  if constexpr (requires { v.resize(n); })
    v.resize(n);
}

template<typename T>
void Eziser(T &v, std::size_t const n)
{
  if constexpr (requires { v.eziser(n); })
    v.eziser(n);
}

int main()
{
  std::vector<int> v;

  Resize(v, 10u);
  Eziser(v, 10u);
}

โค้ดข้างต้นคอมไพล์ด้วยสาขาแนวคิดของ Clang อย่างไรก็ตาม GCC10 Resizeยอมรับเฉพาะการเรียกร้องให้ GCC9 ICEs เสียงดังกราวถูกต้องไหมเมื่อยอมรับมัน?

ใช่ต้องใช้นิพจน์สามารถใช้สิ่งที่อยู่ในขอบเขต มันต้องการเพียงประเภทของสิ่งที่มันชื่อหลังจากทั้งหมดยกเว้นในความต้องการซ้อนกันหรือการแสดงออกคงที่อื่น ๆ นั่นเป็นความจริงของการประกาศโดยรอบเช่นเดียวกับพารามิเตอร์ (เป็นทางการ) ของตัวเอง

[expr.prim.req] / 5 :

ความต้องการของร่างกายประกอบด้วยลำดับของความต้องการ ข้อกำหนดเหล่านี้ อาจอ้างถึงพารามิเตอร์โลคัลพารามิเตอร์เทมเพลตและการประกาศอื่น ๆ ที่มองเห็นได้จากบริบทที่ล้อมรอบ