C Concepts/SFINAE: clang和MSVC/G使用模板和Concept/SFINAE进行离线函数定义的不同结果

Question

我正在定义一个类的构造函数，该构造函数约束检查传入迭代器的基础类型与类中定义的node_type的类型等价性，并借助概念或SFINAE。

但是，尝试了一些与is_same的组合

编辑时间：

从GCC 12和Clang 14开始，此错误仍然存在。

> < li>

使用C 20在godbolt上进行如下编码，https://godbolt.org/z/fdqEYxKh8 MSVC/g正常，金属撞击声错误

代码未在下面显示，但在godbolt上使用C 11 SFINAE，MSVC/clang ok，g错误https://godbolt.org/z/7nr7a8jY8

#include <stdio.h>
#include <iterator>
#include <array>
#include <concepts>
#include <cstdlib>

template <typename FPType, std::size_t N>
class PointND {
private:
    std::array<FPType, N> coords_;
};

template <typename FPType, std::size_t N, typename ElemType>
class Tree {
public:

    struct node_type {
        PointND<FPType, N> key;
        ElemType value;
    };
    
    template <std::random_access_iterator RAI>
    requires std::same_as<typename std::iterator_traits<RAI>::value_type, 
                          typename Tree<FPType, N, ElemType>::node_type>
    Tree(RAI, RAI);
};

template <typename FPType, std::size_t N, typename ElemType>
template <std::random_access_iterator RAI> 
requires std::same_as<typename std::iterator_traits<RAI>::value_type, 
                      typename Tree<FPType, N, ElemType>::node_type>
Tree<FPType, N, ElemType>::Tree(RAI begin, RAI end) {
}

e::45:30上的错误：错误：“树”的越线定义

Tree<FPType, N, ElemType>::Tree(RAI begin, RAI end) {




Answer 1

匿名用户

在C 11的例子中，添加< code>-fchecking，gcc会说:

<source>:52:51: internal compiler error: canonical types differ for identical types 'std::enable_if<(std::is_same<typename std::iterator_traits<_InputIterator>::iterator_category, std::random_access_iterator_tag>::value && std::is_same<typename std::iterator_traits<_InputIterator>::value_type, typename Tree<FPType, N, ElemType>::node_type>::value), int>' and 'std::enable_if<(std::is_same<typename std::iterator_traits<_InputIterator>::iterator_category, std::random_access_iterator_tag>::value && std::is_same<typename std::iterator_traits<_InputIterator>::value_type, Tree<FPType, N, ElemType>::node_type>::value), int>'
   52 | Tree<FPType, N, ElemType>::Tree(RAI begin, RAI end) {
      |                                                   ^
...
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

gcc未能编译这是一个编译器错误。

我怀疑但无法证明clang在C 20代码上的行为也是一个bug。

有一个简单的解决方法。这些bug与解释名称有关，尤其是在不完整类的上下文中解释嵌套类。因此…将类型移动到命名空间范围：

< Li > https://god bolt . org/z/ch 7s 8 nkxo(C 11) < Li > https://god bolt . org/z/t 4 cjb 79 ZP(C 20)