C++ 使函数调用依赖于模板参数

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;
}
};

现场示例

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;
}

演示