我想知道C++完整概念提议和模板约束之间的语义差异(例如,Dlang中出现的约束或C++ 1y的新概念 - 精简提议).
什么是能够比模板约束做的完整概念不能做到的?
c++ d c++11 c++-concepts
c++ ×1
c++-concepts ×1
c++11 ×1
d ×1