Дружеская функция C ++ с аргументом шаблона enable_if - PullRequest
Новая
       104

Дружеская функция C ++ с аргументом шаблона enable_if

1 голос
/ 04 мая 2020

Я борюсь с функцией друга для структуры, которая имеет аргумент шаблона с enable_if: 

// foo.h
#ifndef FOO_H
#define FOO_H
#include <type_traits>

template<
    typename T,
    typename = typename std::enable_if<std::is_arithmetic<T>::value>::type
>
struct foo {
    foo(T bar) : bar(bar) {}

    T get() { return bar; }

    friend foo operator+(const foo& lhs, const foo& rhs);
    // Defining inside a body works:
    // {
    //     return foo(lhs.bar + rhs.bar);
    // }

private:
    T bar;
};

// None of these work:
// tempate<typename T, typename>
// tempate<typename T>
// tempate<typename T, typename = void>
template<
    typename T,
    typename = typename std::enable_if<std::is_arithmetic<T>::value>::type
>
foo<T> operator+(const foo<T>& lhs, const foo<T>& rhs)
{
    return foo<T>(lhs.bar + rhs.bar);
}
#endif /* ifndef FOO_H */

и 

// main.cpp
#include <iostream>
#include "foo.h"

int main()
{
    foo<int> f{1};
    foo<int> g{2};
    std::cout << (f + g).get() << '\n';
    return 0;
}

Если я пытаюсь скомпилировать, получим следующая ошибка компоновщика: 

Undefined symbols for architecture x86_64:
  "operator+(foo<int, void> const&, foo<int, void> const&)", referenced from:
      _main in main-5fd87c.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)

(с Apple clang version 11.0.3 (clang-1103.0.32.59).)

Я хочу, чтобы оператор + работал только с типами с одинаковыми аргументами шаблона, например, foo только с foo, но не с foo или foo.

Я думаю, что это тесно связано с этим вопросом , но я с трудом пытаюсь понять, как решить мою проблему. Я пробовал много определений шаблонов, таких как tempate<typename T, typename>, tempate<typename T>, tempate<typename T, typename = typename std::enable_if...>, но ни одна из них не работает.

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

1 Ответ

1 голос
/ 04 мая 2020

Объявление друга относится к не шаблонному оператору, в то время как определение из определения класса относится к шаблонному, они не совпадают.

Возможно, вы захотите 

// forward declaration of the class template
template<
    typename T,
    typename X = typename std::enable_if<std::is_arithmetic<T>::value>::type
>
struct foo;

// declaration of the operator template
template<
    typename T,
    typename = typename std::enable_if<std::is_arithmetic<T>::value>::type
>
foo<T> operator+(const foo<T>& lhs, const foo<T>& rhs);

// definition of the class template
template<
    typename T,
    typename
>
struct foo {
    foo(T bar) : bar(bar) {}

    T get() { return bar; }

    friend foo operator+<T>(const foo& lhs, const foo& rhs);
    // or left the template parameters to be deduced as
    friend foo operator+<>(const foo& lhs, const foo& rhs);

private:
    T bar;
};

//definition of the operator template
template<
    typename T,
    typename
>
foo<T> operator+(const foo<T>& lhs, const foo<T>& rhs)
{
    return foo<T>(lhs.bar + rhs.bar);
}

Прямой

...