Как сделать, чтобы шаблонная функция принимала const char*?

Question

[Mercury13]

namespace str {
    /// @brief remainderSv
    ///         remainderSv("string", "st") = "ring"
    template <class C, class T = std::char_traits<C>>
    std::basic_string_view<C,T> remainderSv(
            std::basic_string_view<C,T> s,
            std::basic_string_view<C,T> prefix)
    {
        if (s.length() <= prefix.length()
                || !s.starts_with(prefix))
            return {};
        return s.substr(prefix.length(), s.length() - prefix.length());
    }
}  // namespace str

// Тест, сделанный системой Google test
TEST (RemainderSv, Pref)
{
    std::string_view s = "string";
    EXPECT_EQ("ing", str::remainderSv(s, "str"));
}

Как сделать, чтобы код компилировался? А то пока не допускает и string_view/const char*, и string_view/string.
Если добавить нешаблонную функцию, всё работает, но зачем?

Comments

[Евгений Шатунов]

Mercury13 , я ведь правильно понимаю что тебе хочется чтобы из этого шаблона можно было инстанцировать функции с сигнатурой, например, std::string_view ( const char*, std::string_view ) или

std::string_view ( const std::string&, const std::string& )

?
Иначе я немного не понимаю твой вопрос.

Сужающие конверсии через поиск имен доступны только когда инстанцирование уже произведено и функция из шаблона есть в списке кандидатов.

[Mercury13]

Евгений Шатунов, Чтобы можно было ПОДСТАВИТЬ такие параметры. Желательно чтобы не инстанцировало лишних функций. Ведь в нешаблонную функцию подставляет, верно?

[Евгений Шатунов]

Mercury13,

Ведь в нешаблонную функцию подставляет, верно?

Нет, не верно. Поиск имен подбирает, а не подставляет. Поиск подбирает лучшее соответствие исходя из возможности сужающего преобразования типа.
Это делается тогда, когда вариантов без сужения не находится.

С сигнатурой из вопроса функцию из шаблона инстанцировать получится только при явном определении параметров шаблона. В этом случае начнет работать сужающее преобразование.

Код в текущем решении плохой. Ты боишься за инстанцрование лишних функций, а сам написал гору частичных специализаций шаблона.
Можно сделать проще и понятнее - на базе всего нескольких шаблонов. Я чуть погодя покажу, следующим комментарием.

[Евгений Шатунов]

Mercury13,

Лучшее решение

namespace str
{
namespace Internal
{
    template< typename TChar, typename TCharTraits >
    inline std::basic_string_view<TChar, TCharTraits> remainderSv( 
        const std::basic_string_view<TChar, TCharTraits> source,
        const std::basic_string_view<TChar, TCharTraits> prefix
    )
    {
        if( source.length() <= prefix.length() || !source.starts_with( prefix ) )
        {
            return {};
        }

        return source.substr( prefix.length(), source.length() - prefix.length() );
    }

    template< typename TSource >
    inline auto GetView( const TSource& source )
    {
        return std::basic_string_view{ source };
    }

    template< typename TChar, typename TCharTraits, typename TAllocator >
    inline std::basic_string_view<TChar, TCharTraits> GetView( 
        const std::basic_string<TChar, TCharTraits, TAllocator>& source 
    )
    {
        return source;
    }
}


    template< typename TSource, typename TPrefix >
    inline auto remainderSv( const TSource& source, const TPrefix& prefix )
    {
        return Internal::remainderSv( Internal::GetView( source ), Internal::GetView( prefix ) );
    }
}

Тебе не нужна здесь универсальная ссылка. Ты говорил что активно внедряешь 20й стандарт, значит тебе стоит пользоваться благами 17-го и 14-го стандартов, а не писать автоматический код за транслятор. Здесь нет ни одного избыточного шаблона. Этот remainderSv потребляет любую комбинацию согласованных типов строк, а на недопустимой комбинации просто не может инстанцировать Internal::remainderSv.
Этот код просто понятен и не вызывает вопросов.

Answer 1

[Mercury13]

template <class T> struct string_traits;

    template <class C, class T, class A>
    struct string_traits<std::basic_string<C,T,A>> {
        using Ch = C;
        using Tr = T;
        using Sv = std::basic_string_view<C,T>;
    };

    template <class C, class T>
    struct string_traits<std::basic_string_view<C,T>> {
        using Ch = C;
        using Tr = T;
        using Sv = std::basic_string_view<C,T>;
    };

    template <class C>
    struct string_traits<const C*> {
        using Ch = C;
        using Tr = std::char_traits<C>;
        using Sv = std::basic_string_view<C>;
    };

    template <class C, size_t N>
    struct string_traits<C[N]> {
        using Ch = C;
        using Sv = std::basic_string_view<C>;
    };

    template<class S>
    using s_v_t = typename string_traits<std::remove_cvref_t<S>>::Sv;

    namespace detail {
        template <class Sv>
        Sv remainderSv(Sv s, Sv prefix)
        {
            if (s.length() <= prefix.length()
                    || !s.starts_with(prefix))
                return {};
            return s.substr(prefix.length(), s.length() - prefix.length());
        }
    }

    /// @brief remainderSv
    ///    Same for prefix only
    template <class A>
    inline auto remainderSv(const A& s, s_v_t<A> prefix) -> s_v_t<A>
        { return detail::remainderSv<s_v_t<A>>(s, prefix); }