C++ 개념 lite 및 형식 별칭 선언

Question

개념 TS에서 제안한대로 typedef 또는 using을 사용하여 개념 안에 형식 별칭을 선언 할 수 있습니까? 개념의 TS에 따르면

main.cpp: In function ‘concept bool TestConcept()’: 
main.cpp:8:9: error: expected primary-expression before ‘using’ 
     using V = T; 
     ^~~~~ 
main.cpp:8:9: error: expected ‘}’ before ‘using’ 
main.cpp:8:9: error: expected ‘;’ before ‘using’ 
main.cpp:4:14: error: definition of concept ‘concept bool TestConcept()’ has multiple statements 
concept bool TestConcept() 
       ^~~~~~~~~~~ 
main.cpp: At global scope: 
main.cpp:11:1: error: expected declaration before ‘}’ token 
} 
^ 

Answer 1

번호 : 나는 다음과 같은 MWE 뭔가를하려고하면 이 코드는

#include <type_traits> 

template<typename T> 
concept bool TestConcept() 
{ 
    return requires(T t) 
    { 
     using V = T; 
     std::is_integral<V>::value; 
    }; 
} 

int main() 
{ 
    return 0; 
} 

(GCC 6.2.1과 -fconcepts 스위치) 결과 오류를 컴파일되지 않습니다 , 요구 사항은 다음과 같습니다

requirement:
    simple-requirement
    type-requirement
    compound-requirement
    nested-requirement

간단한 요구 사항이 표현 인 경우 이온 다음에 ; 및 유형 요구 사항은 typename T::inner과 같습니다. 다른 두 개는 이름에서 알 수 있듯이 들립니다.

형식 별칭은식이 아닌 선언이므로 요구 사항의 요구 사항을 충족하지 못합니다.

Answer 2

This feels unnecessarily restrictive to me. Do you know if there exists a reasonable workaround instead of writing the same complicated type over and over again?

당신은 템플릿 매개 변수로 그 유형을 전달하는 또 다른 개념에 대한 제약 조건의 이행을 연기 할 수 있습니다

template<typename Cont, typename It, typename Value> 
concept bool InsertableWith = requires(Cont cont, It it, Value value) { 
    // use It and Value as much as necessary 
    cont.insert(it, std::move(value)); 
}; 

template<typename Cont> 
concept bool Insertable = requires { 
    // optional 
    typename Cont::const_iterator; 
    typename Cont::value_type; 
} && InsertableWith<Cont, typename Cont::const_iterator, typename Cont::value_type>; 

당신이 그 일을 고려하는 경우에, 나는 당신이하기 전에 간단한 예제에 그것을 시도 제안 결정. 개념과 제약 조건을 작성하는 방법은 컴파일러가 오류를보고하는 방법을 결정하며 물론 오류가 발생하는 것은 개념을 유용하게 만드는 요소의 큰 부분입니다. 오류를 쉽게 이해할 수 있도록하면서 개념을 쉽게 작성하는 것은 내가 가볍게 받아 들일 절충안이 아닙니다.

예를 들어, 내가 명시 적 제한으로 typename Cont::const_iterator;을 중복 적으로 추가 한 이유입니다. 이렇게하면 컴파일러는이 유형 요구 사항을보고 할 수 있습니다. 또한 개념 이름으로 InsertableWith을 선택하는 데주의를 기울였습니다. detail::Insertable으로 쉽게 이동할 수 있었지만 Insertable과 detail::Insertable과 관련된 오류가 더 혼란 스러울 수있었습니다.

마지막으로이 모든 것은 컴파일러의 구현 품질에 따라 달라 지므로 당분간은 어떤 접근 방식도 확실하지 않다고 생각합니다. 이 Coliru demo을 가지고 노는 것이 좋습니다.