Question

在C ++模板函数中，我想调用另一个尚未声明的重载函数。由于该函数不受依赖，因此编译器将无法解析它。

代码如下：

#include <array>
#include <iostream>
#include <string>

template <typename T>
void serialize(const T &data)
{
    size_t data_size = getSize(data);
    std::cout << "Size: " << data_size << std::endl;
}

constexpr size_t getSize(const int &)
{
    return sizeof(int);
}

size_t getSize(const std::string &str)
{
    return str.size();
}

template <typename T, size_t N>
size_t getSize(const std::array<T, N> &array)
{
    size_t array_size = 0;
    for (const T &element : array)
        array_size += getSize(element);
    return array_size;
}

int main()
{
    int a;
    serialize(a);

    std::string str = "foo";
    serialize(str);

    std::array<std::string, 2> arr = {{"foo", "foobar"}};
    serialize(arr);

    return 0;
}

是否有一种使getSize()依赖的好方法？还是有其他方法可以实现这一目标？

Answer 1

您可以使getSize()成为助手结构的成员：

template <typename T>
struct size_getter {
    static size_t getSize( T );
};

template <typename T>
void serialize(const T &data)
{
    size_t data_size = size_getter<T>::getSize( data );
    std::cout << "Size: " << data_size << std::endl;
}

然后专门化它们：

template<>
struct size_getter<std::string> {
    static size_t getSize( const std::string &s )
    {
        return s.size();
    }
};

template <typename T, size_t N>
struct size_getter<std::array<T, N>>
{
    static size_t getSize(const std::array<T, N> &array)
    {
        size_t array_size = 0;
        for (const T &element : array)
            array_size += size_getter<T>::getSize(element);
        return array_size;
    }
};

Live example

Answer 2

您可以添加一个虚拟标签以允许ADL：

template <typename T> struct tag {};

template <typename T>
void serialize(const T &data)
{
    size_t data_size = getSize(data, tag<T>{});
    std::cout << "Size: " << data_size << std::endl;
}

constexpr size_t getSize(const int &, tag<int>)
{
    return sizeof(int);
}

size_t getSize(const std::string &str, tag<std::string>)
{
    return str.size();
}

template <typename T, size_t N>
size_t getSize(const std::array<T, N> &array, tag<std::array<T, N>>)
{
    size_t array_size = 0;
    for (const T &element : array)
        array_size += getSize(element, tag<T>{});
    return array_size;
}

Demo

C ++使函数调用取决于模板参数

2 个答案: