如何使用g ++ 6.2.0啓用概念？

Question

這是我試過測試C++ - 概念功能的代碼。然而，即使在g ++ 6.2.0版本上使用標誌-fconcepts後，它似乎也不起作用。 任何幫助它得到它的工作將是偉大的！

#include <iostream> 
using namespace std; 
#include <list> 
#include <vector> 
#include <algorithm> 
#include <iterator> 
#include <bits/stdc++.h> 
using namespace std::literals; 

template<typename ptr_t > 
requires RandomAccessIterator<ptr_t> 
void mysort(ptr_t first, ptr_t last) 
{ 
    sort(first, last); 
} 
int main() 
{ 
    vector<int> v{22, 11, 55, 33, 44}; 
    list<int> l{22, 11, 55, 33, 44}; 
    mysort(begin(v), end(v)); 
    mysort(begin(l), end(l)); 
} 

這是我如何編譯：

g++-6 concepts.cpp -fconcepts 

這是我的錯誤：

error: ‘RandomAccessIterator’ was not declared in this scope 

我改變了拼寫random_access_iterator，但它仍然無法正常工作。

6.2.13節中的文檔C++ Working Draft定義了RandomAccessIterator的存在。

Answer 1

RandomAccessIterator不是（還）由標準庫提供。你需要定義它。

relevant documentation on cppreference是開始理解概念需求的好地方。

您鏈接的文檔N4620是範圍的工作草稿，不適用於Concepts。除非你包含一個友好範圍的實現，否則將不會爲你定義RandomAccessIterator。

如his answer中提到的Tristan Brindle,cmcstl2是範圍TS的參考實現。

Answer 2

概念TS實際上並不包含任何標準概念，如RandomAccessIterator。這些正在單獨工作Ranges TS。

範圍TS的參考實現可在https://github.com/CaseyCarter/cmcstl2處獲得。