在C++20中如何正确显式实例化转发构造函数？

问题描述 #

尝试使用C++20与GCC 13.3编译器显式实例化转发构造函数，避免将定义放在头文件中，但代码编译通过后链接失败。相关代码如下：

Foo.h #

#pragma once

#include <concepts>
#include <string>

class Foo {
public:
    template <class String>
    requires std::convertible_to<String, std::string>
    explicit Foo(String&& s);

private:
    std::string m_s;
};

Foo.cpp #

#include "Foo.h"

template <class String>
requires std::convertible_to<String, std::string>
Foo::Foo(String&& s) : m_s{std::forward<String>(s)} {}

template Foo::Foo(const std::string& s);
template Foo::Foo(std::string&& s);

test.cpp #

#include "Foo.h"

int main() {
    Foo f1{"test"};
    std::string test = "test";
    Foo f2{test};

    return 0;
}

链接错误信息：

[main] Building folder: /home/bobeff/projects/cpp/test/build/Debug 
[build] Starting build
[proc] Executing command: /usr/bin/cmake --build /home/bobeff/projects/cpp/test/build/Debug --config Debug --target all --
[build] [2/3  33% :: 0.149] Building CXX object CMakeFiles/test.dir/test.cpp.o
[build] [2/3  66% :: 0.156] Building CXX object CMakeFiles/test.dir/Foo.cpp.o
[build] [3/3 100% :: 0.188] Linking CXX executable test
[build] FAILED: test 
[build] : && /usr/bin/g++ -g  CMakeFiles/test.dir/test.cpp.o CMakeFiles/test.dir/Foo.cpp.o -o test   && :
[build] /usr/bin/ld: CMakeFiles/test.dir/test.cpp.o: in function `main':
[build] /home/bobeff/projects/cpp/test/test.cpp:4:(.text+0x31): undefined reference to `Foo::Foo<char const (&) [5]>(char const (&) [5])'
[build] /usr/bin/ld: /home/bobeff/projects/cpp/test/test.cpp:6:(.text+0x72): undefined reference to `Foo::Foo<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> &>>(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> &>)'
[build] collect2: error: ld returned 1 exit status
[build] ninja: build stopped: subcommand failed.
[proc] The command: /usr/bin/cmake --build /home/bobeff/projects/cpp/test/build/Debug --config Debug --target all -- exited with code: 1
[driver] Build completed: 00:00:00.220
[build] Build finished with exit code 1

错误原因分析 #

链接失败的核心原因是显式实例化的模板类型与实际调用时推导的模板类型不匹配：

1. 对于Foo f1{"test"}：字符串字面量的类型是const char[5]（左值引用），模板参数String被推导为const char(&)[5]，但仅显式实例化了const std::string&和std::string&&，未实例化该数组引用类型的模板。
2. 对于Foo f2{test}：test是std::string的非const左值，根据转发引用的引用折叠规则，模板参数String被推导为std::string&（此时String&&折叠为std::string&），但显式实例化的是const std::string&，两者类型不匹配，导致找不到对应定义。

解决方案 #

方案一：显式实例化所有实际用到的模板类型 #

修改Foo.cpp，补充缺失的显式实例化：

#include "Foo.h"

template <class String>
requires std::convertible_to<String, std::string>
Foo::Foo(String&& s) : m_s{std::forward<String>(s)} {}

// 原有的实例化
template Foo::Foo(const std::string& s);
template Foo::Foo(std::string&& s);

// 补充test.cpp中用到的实例化
template Foo::Foo(std::string& s);
template Foo::Foo(const char(&)[5]);

该方法能解决当前问题，但扩展性差，后续新增可转换为std::string的类型时，需继续补充对应实例化。

方案二：优化模板约束，覆盖更多通用类型 #

调整模板约束条件，让字符串字面量推导为const char*而非数组引用，同时显式实例化该通用类型：

1. 修改Foo.h中的构造函数约束：

template <class String>
requires std::convertible_to<std::decay_t<String>, std::string>
explicit Foo(String&& s);

用std::decay_t<String>将数组类型衰减为指针类型，确保字符串字面量的推导能匹配到const char*的模板实例。

2. 修改Foo.cpp中的显式实例化：

#include "Foo.h"

template <class String>
requires std::convertible_to<std::decay_t<String>, std::string>
Foo::Foo(String&& s) : m_s{std::forward<String>(s)} {}

template Foo::Foo(const std::string& s);
template Foo::Foo(std::string&& s);
template Foo::Foo(std::string& s);
template Foo::Foo(const char*);

此方法无需为不同长度的字符串字面量单独实例化，覆盖范围更广。

方案三：改用非模板构造函数（推荐） #

若无需支持所有可转换为std::string的类型，直接定义非模板构造函数更简单，完全避免模板实例化问题：

1. 修改Foo.h：

#pragma once

#include <string>

class Foo {
public:
    explicit Foo(const std::string& s);
    explicit Foo(std::string&& s);
    explicit Foo(const char* s);

private:
    std::string m_s;
};

2. 在Foo.cpp中实现：

#include "Foo.h"

Foo::Foo(const std::string& s) : m_s{s} {}
Foo::Foo(std::string&& s) : m_s{std::move(s)} {}
Foo::Foo(const char* s) : m_s{s} {}

该方法代码简洁，无模板实例化困扰，完全满足当前测试需求且性能无损失。

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