为何Clang编译C++模板函数时出现"符号未找到"错误？

问题概述 #

使用Clang编译包含嵌套模板的C++代码时，出现"符号未找到"的链接错误。移除代码中的static_assert(std::input_iterator<iter<false>>);语句，或者将view结构体中my_block_t* block = nullptr;的默认初始化改为my_block_t* block;，代码即可正常编译。

编译错误信息 #

ASM generation compiler returned: 0
/opt/compiler-explorer/gcc-14.2.0/lib/gcc/x86_64-linux-gnu/14.2.0/../../../../x86_64-linux-gnu/bin/ld: /tmp/example-6c6a33.o: in function `main':
<source>:59:(.text+0x2d): undefined reference to `std::basic_string_view<char, std::char_traits<char> > table_t::view<false>::get<std::basic_string_view<char, std::char_traits<char> > >(unsigned long) const'
clang++: error: linker command failed with exit code 1 (use -v to see invocation)
Execution build compiler returned: 1

复现代码 #

#include <compare>
#include <cstddef>
#include <iostream>

struct table_t {
    struct block_t {
        template <typename T>
        T get(size_t idx) const { return {}; }
    };

    block_t the_block;

    template <bool is_const>
    struct view {
        using my_block_t = std::conditional_t<is_const, const block_t, block_t>;
        my_block_t* block = nullptr;

        auto operator<=>(const view&) const = default;

        template <typename T>
        T get(size_t idx) const {
            return block->template get<T>(idx);
        }
    };

    template <bool is_const>
    struct iter {
        using difference_type = std::ptrdiff_t;
        using value_type = view<is_const>;
        using pointer = const value_type*;
        using reference = const value_type&;

        value_type view;

        iter() = default;
        iter(value_type::my_block_t* block) : view{block} {}

        reference operator*() const { return view; }
        pointer operator->() const { return &view; }

        iter& operator++() {}
        iter operator++(int) {}

        auto operator<=>(const iter&) const = default;
    };

    static_assert(std::input_iterator<iter<false>>);

    [[nodiscard]] iter<false> begin() { return {&the_block}; }
};


int main() {
    table_t table;
    [[maybe_unused]] auto x = table.begin()->get<std::string_view>(0);

    return 0;
}

问题成因 #

这是Clang在处理C++概念检查与模板实例化时的bug：

1. 当static_assert(std::input_iterator<iter<false>>);触发时，编译器需要验证iter<false>满足input_iterator概念，这个过程会实例化iter的value_type（即view<false>）的相关成员。
2. 由于view结构体中的operator<=>是默认生成的，编译器在实例化该运算符时，会处理view的所有成员（包括block指针）。而block带有默认初始化= nullptr，这会导致view的默认构造函数被实例化。
3. 在此过程中，Clang错误地将view::get<T>模板函数标记为需要生成外部链接的符号，而非内联展开。但实际上view::get<T>的实现依赖于block_t::get<T>，编译器没有正确关联两者的实例化，最终导致链接器找不到view::get<T>的定义。

当移除static_assert时，概念检查不会触发，也就不会触发错误的模板实例化流程；当去掉block的默认初始化时，view的默认构造函数不会被隐式实例化，因此也不会触发这个bug。

规避方法 #

可以采用以下任意一种方式解决：

• 移除不必要的static_assert(std::input_iterator<iter<false>>);语句，或改用运行时检查（如果允许）。
• 去掉view结构体中block成员的默认初始化，改为my_block_t* block;（注意确保使用前已正确初始化）。
• 显式将view::get<T>标记为inline，强制编译器内联展开该函数：

  template <typename T>
  inline T get(size_t idx) const {
      return block->template get<T>(idx);
  }
  

• 升级到最新版本的Clang，该bug可能已被修复。

内容的提问来源于stack exchange，提问作者r33s3n6