How to avoid decay with template parameter deduction

Question

Simplified:

// CHAR_TYPE == char, wchar_t, ...
template 
void Foo(CHAR_TYPE const (&value)[CHAR_COUNT]) no         


        

Answer 1

Taking the argument by (const) reference blocks array-to-pointer decay during template argument deduction. See [temp.deduct.call]/2. So:

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