c++ - 为什么 gcc8.3 似乎试图编译未使用的模板函数？

Question

考虑(文件名是hello.cpp)这段代码；这个想法是设计一个安全的数字类型转换而不会丢失或溢出。 (我正在将一些代码从 MSVC 移植到 g++)。

#include <cstdint>
#include <iostream>

template<
    typename T/*the desired type*/,
    typename/*the source type*/ Y
> T integral_cast(const Y& y)
{
    static_assert(false, "undefined integral cast");
}

// Specialisation to convert std::uint32_t to double
template<>
inline double integral_cast(const std::uint32_t& y)
{
    double ret = static_cast<double>(y);
    return ret;
}

int main()
{
    std::uint32_t a = 20;
    double f = integral_cast<double>(a); // uses the specialisation
    std::cout << f;
}

当我通过键入 g++ -o hello hello.cpp 使用 gcc 8.3 进行编译时，出现错误 error: static assertion failed: undefined integral cast。

这意味着 g++ 总是编译未使用的模板代码。

请注意，MSVC 对此进行编译(这很好，因为它允许我发现任何我没有考虑过的整体转换特化)。

显然我遗漏了什么。但是什么？

Answer 1

GCC 并不是真正地“实例化”或“编译”基本函数模板。如果是，您将拥有两个具有相同名称和参数列表的已编译函数。正如@Raymond Chen 在评论中指出的那样，GCC 允许但不要求对没有任何有效实例化的模板引发错误。

例如:

template<
    typename T/*the desired type*/,
    typename/*the source type*/ Y
> T integral_cast(const Y& y)
{
        static_assert(sizeof(Y) == 1);
};

不会在您提供的示例中引发错误(因为它具有有效的实例化并且未被实例化)。

我怀疑 GCC 只需要将类型替换到基本模板中以进行重载解析，所以它实际上只需要声明，而不是定义。

您可以通过使用已删除的定义来获得您想要的行为:

template<
    typename T/*the desired type*/,
    typename/*the source type*/ Y
> T integral_cast(const Y& y) = delete;