问题如何通过模板参数推导避免衰减

简化：

// CHAR_TYPE == char, wchar_t, ...
template <typename CHAR_TYPE, unsigned CHAR_COUNT>
void Foo(CHAR_TYPE const (&value)[CHAR_COUNT]) noexcept
{
    TRACE("const ref array");
    // perform a bit of logic and forward...
}

template <typename CHAR_TYPE>
void Foo(CHAR_TYPE const* value) noexcept
{
    TRACE("const ptr");
    // perform a bit of logic and forward...
}

// [ several other overloads ]

调用点：

char const* ptr = ...
wchar_t const* wptr = ...

Foo(ptr);     // <-- good: "const ptr"
Foo(wptr);    // <-- good: "const ptr"

constexpr char const buffer[] { "blah blah blah" };
constexpr wchar_t const wbuffer[] { L"blah blah blah" };

Foo(buffer);  // <-- ambiguous
Foo(wbuffer); // <-- ambiguous

当然，我可以删除const ref数组重载。但是我想以不同的方式处理这些类型。我试图有条件地启用正确的过载，但我无法确定必要的条件。

template <typename CHAR_TYPE, unsigned COUNT>
typename std::enable_if</* std::is_?? */, void>::type
    Foo(CHAR_TYPE const (&value)[COUNT]) noexcept
{
    TRACE("by ref array");
    // perform a bit of logic and forward...
}

template <typename CHAR_TYPE>
typename std::enable_if</* std::is_?? */, void>::type
    Foo(CHAR_TYPE const* value) noexcept
{
    TRACE("ptr");
    // perform a bit of logic and forward...
}

消除这些重载歧义的最佳方法是什么？
（我不想使用数组包装器）

11968

2017-12-22 20:10

起源

这可能是一个愚蠢的问题，但第一个模板应该如何隐式提取size参数？ - Mikel F

@MikelF这是通过模板类型推导完成的，数组的类型是 char[N]不是 char*。数组不要总是腐烂到指针。更好的是，通过引用传递的数组不会衰减。 - vsoftco

答案:

采用（const）引用的参数在模板参数推导期间阻止数组到指针的衰减。看到 [temp.deduct.call] / 2。所以：

template <typename CHAR_TYPE>
void Foo(CHAR_TYPE const* const & value) noexcept
{
    TRACE("const ptr");
    // perform a bit of logic and forward...
}

2017-12-23 00:40

这很出色。事实证明，这非常有效，并允许我继续使用CHAR_TYPE。谢谢。 - Jeff

一个有效的想法是删除指针，只是有 T 相反，用 std::enable_if_t<std::is_pointer<T>::value> 守卫。简化示例如下：

#include <iostream>
#include <type_traits>

template<class T, size_t N>
void f(T const (&) [N])
{
    std::cout << __PRETTY_FUNCTION__ << std::endl;
}

template<class T, std::enable_if_t<std::is_pointer<T>::value>* = nullptr >
void f(T)
{
    std::cout << __PRETTY_FUNCTION__ << std::endl;
}

int main()
{
    const char* str = "test";
    char str2[]{"test2"};

    f(str);
    f(str2);
}

住在Coliru

2017-12-22 20:24

完善。我觉得很尴尬没有意识到这一点。谢谢。 - Jeff

@Jeff我不得不说，最初我会认为数组重载具有更高的排名。我仍然不知道为什么编译器认为2个重载具有相似的等级。 - vsoftco

同意！我在逻辑中使用了CHAR_TYPE（这可能是我无法想到解决方案的原因），所以我还有更多要解决的问题。再次感谢。 - Jeff

问题 如何通过模板参数推导避免衰减

答案:

热门问题

问题如何通过模板参数推导避免衰减