Ошибка вывода аргумента шаблона с перегрузкой оператора - PullRequest
Новая
       57

Ошибка вывода аргумента шаблона с перегрузкой оператора

0 голосов
/ 23 февраля 2019

У меня есть следующий пример кода, который прекрасно компилируется в Visual Studio, но не в GCC 6. Я понимаю, что это может быть связано с ошибкой вывода аргументов шаблона, но я не могу придумать правильного решения для решения проблемы.

#include <iostream>
#include <array>

//using namespace std;
namespace 
{
    template <int T>
    std::array<char, T> operator&(const std::array<char, T>& l, const std::array<char, T>& r)
    {
        std::array<char, T> result{};

        return result;
    }

}
int main()
{
    std::array<char, 4> result{};
    std::array<char, 4> value{};
    std::array<char, 4> mask{};
    result = value & mask;
    return 0;
}

Скомпилируйте вывод 

main.cpp: In function ‘int main()’:
main.cpp:29:20: error: no match for ‘operator&’ (operand types are ‘std::array’ and ‘std::array’)
 result = value & mask;
                ^
main.cpp:16:25: note: candidate: template std::array {anonymous}::operator&(const std::array&, const std::array&)
 std::array<char, T> operator&(const std::array<char, T>& l, const std::array<char, T>& r)
                     ^
main.cpp:16:25: note:   template argument deduction/substitution failed:
main.cpp:29:22: note:   mismatched types ‘int’ and ‘long unsigned int’
 result = value & mask;
                  ^
main.cpp:29:22: note:   ‘std::array’ is not derived from ‘const std::array’
In file included from /usr/include/c++/5/ios:42:0,
             from /usr/include/c++/5/ostream:38,
             from /usr/include/c++/5/iostream:39,
             from main.cpp:9:
/usr/include/c++/5/bits/ios_base.h:165:3: note: candidate: constexpr 
std::_Ios_Iostate std::operator&(std::_Ios_Iostate, std::_Ios_Iostate)
operator&(_Ios_Iostate __a, _Ios_Iostate __b)
^
/usr/include/c++/5/bits/ios_base.h:165:3: note:   no known conversion for 
argument 1 from ‘std::array’ to ‘std::_Ios_Iostate’
/usr/include/c++/5/bits/ios_base.h:125:3: note: candidate: constexpr 
std::_Ios_Openmode std::operator&(std::_Ios_Openmode, std::_Ios_Openmode)
operator&(_Ios_Openmode __a, _Ios_Openmode __b)
^
/usr/include/c++/5/bits/ios_base.h:125:3: note:   no known conversion for 
argument 1 from ‘std::array’ to ‘std::_Ios_Openmode’
/usr/include/c++/5/bits/ios_base.h:83:3: note: candidate: constexpr 
std::_Ios_Fmtflags std::operator&(std::_Ios_Fmtflags, std::_Ios_Fmtflags)
operator&(_Ios_Fmtflags __a, _Ios_Fmtflags __b)
^
/usr/include/c++/5/bits/ios_base.h:83:3: note:   no known conversion for 
argument 1 from ‘std::array’ to ‘std::_Ios_Fmtflags’

Буду очень признателен, если вы можете дать мне предложение исправить это.

1 Ответ

0 голосов
/ 23 февраля 2019

Вывод аргумента шаблона не удается из-за несоответствия типов;2-й нетипичный параметр шаблона типа std::array имеет тип std::size_t.

(выделение мое)

Если нетипичный параметр шаблонаиспользуется в списке параметров, и выводится соответствующий аргумент шаблона, тип выводимого аргумента шаблона (как указано в его списке параметров шаблона, то есть ссылки сохраняются) должен соответствовать типу нетипового шаблонапараметр в точности , ...

Измените параметр нетипичного типа с int на std::size_t. 

template <std::size_t T>
std::array<char, T> operator&(const std::array<char, T>& l, const std::array<char, T>& r)
{
    std::array<char, T> result{};

    return result;
}
...