在C++20標準中，requires是一個關鍵字，用于約束模板參數。
  
requires關鍵字的作用是對模板的類型參數進行一些限制，以保證模板只能接受符合特定要求的類型。
  
通過requires關鍵字可以定義一些對類型參數的約束條件，如函數成員、類型成員以及一些表達式的要求。
  
當定義一個模板時，可以使用requires關鍵字來指定對模板參數的約束條件。如果該條件不能滿足，編譯器將報錯。
  
requires關鍵字的使用方式類似于函數模板的尾置返回類型。在模板參數列表后面使用requires來指定約束條件。
  
例如，下面的代碼定義了一個模板函數，接受兩個類型為T的參數，但T必須支持加法運算符。
  
    
      template 
      void add(T a, T b) requires requires (T x) { x + x; } {
        // 執行加法運算
        T result = a + b;
        std::cout 
  
  
在上述代碼中，requires (T x) { x + x; }指定了對類型T的約束條件，即T必須支持加法運算符。
  
如果我們嘗試調用add函數傳入一個不支持加法運算的類型，編譯器將會報錯。
  
總之，requires關鍵字為C++中的模板參數提供了一種約束機制，可以在編譯期對模板參數進行相應的約束。