1

以下代码被简化以仅显示问题

template <unsigned bits_count, typename ut_t = unsigned short, typename st_t = short, typename udt_t = unsigned, typename sdt_t = int>
struct int_t
{
    typedef ut_t     ut;

    ut comp[bits_count / (sizeof(ut) * 8)];
};

template<typename ot, typename it>
inline ot& mathx_int_from_t_to_niv(const it& value, ot& result)
{
    typedef typename it::ut ut;

    result = ot(0);

    if (sizeof(ot) <= sizeof(ut)) return result = ot(value.comp[0]);

    return result = *(ot*)value.comp;
}

template <typename ot, typename it>
ot numeric_cast(const it& value);

template<unsigned bits_count, typename ut_t, typename st_t, typename udt_t, typename sdt_t>
inline int numeric_cast(const int_t<bits_count, ut_t, st_t, udt_t, sdt_t>& value)
{
    typedef int_t<bits_count, ut_t, st_t, udt_t, sdt_t> it;
    int result;

    return mathx_int_from_t_to_niv<int, it>(value, result);
}

typedef int_t<128>  int128;

int main()
{
    int128 s = { { 0 } };
    s.comp[0] = -1;

    int t = numeric_cast<int>(s);
}

上面的代码编译出错undefined reference to 'int numeric_cast<int, int_t<128u, unsigned short, short, unsigned int, int> >(int_t<128u, unsigned short, short, unsigned int, int> const&)'

我不明白为什么 gcc 会生成此错误，当我明确编写部分专业化numeric_cast时说它是不允许的，而当我提供重载时它说未定义引用。

4

1 回答 1

1

那是因为你没有提供这个函数模板的定义：

template <typename ot, typename it>
ot numeric_cast(const it& value);

当您这样做时，重载决议会选择哪个：

int t = numeric_cast<int>(s);

之所以选择此重载，是因为第二个numeric_cast模板需要一个非类型参数作为其第一个模板参数，因此numeric_cast<int>不是实例化它的有效尝试。

于 2013-05-13T11:14:37.803 回答