Tại sao clang từ chối chức năng của bạn bè mẫu variadic

Question

Tôi có mã mẫu sau đây, được giảm xuống mức cần thiết, biên dịch với gcc 6.1, gcc 7.0 head và Visual Studio 2015/2017RC, nhưng không có bất kỳ phiên bản nào.

#include <iostream> 
#include <tuple> 

using namespace std; 

namespace outer { 
    namespace test { 

    template <typename A, typename B, typename...C> 
    auto bar_(A&&, B&&, C&&... c) { 
     return std::make_tuple(c._p...); 
    } 

    } 

    template <typename A, typename B, typename...C> 
    auto bar(A a, B b, C&&... c) { 
    return test::bar_(std::move(a), std::move(b), std::forward<C>(c)...); 
    } 

    template<typename T> 
    class foo 
    { 
    template <typename A, typename B, typename...C> 
    friend auto test::bar_(A&&, B&&, C&&... c); 

    int _p; 
    public: 
    foo(int f) : _p(f) {} 
    }; 
} 

int main() { 
    outer::foo<int> a1(1); 
    outer::foo<int> a2(2); 

    auto result = outer::bar(2.3, 4.5, a1, a2); 
    cout << get<0>(result) << " " << get<1>(result) << '\n'; 

    return 0; 
} 

kêu vang nói với tôi: prog.cc:12:34: lỗi: '_P' là một thành viên tư nhân 'ngoài :: foo' trở std :: make_tuple (c._p ...) ;

Tôi không hiểu tại sao clang không nhận ra tuyên bố kết bạn. Đây có phải là một lỗi của clang hay nó là một vấn đề của tất cả các trình biên dịch khác?

Khi tôi tạo foo một lớp không phải mẫu, tiếng kêu không kêu la. Bất kỳ ý tưởng nào cho giải pháp thay thế?

Nhiều cảm ơn trước

Answer 1

Là "tại sao?" câu hỏi đã được thảo luận sâu sắc trong this thread Tôi sẽ chỉ tập trung vào một giải pháp có thể. Bạn có thể cố gắng bọc chức năng của bạn thành một cấu trúc giả chỉ để đảm bảo tất cả các tình trạng quá tải có thể xảy ra trong danh sách bạn bè của bạn là foo. Các đề xuất cách giải quyết có thể nhìn như sau:

#include <iostream> 
#include <tuple> 

using namespace std; 

namespace outer { 
    namespace test { 

    struct wrapper{ 
     template <typename A, typename B, typename...C> 
     static auto bar_(A&&, B&&, C&&... c) { 
     return std::make_tuple(c._p...); 
     } 
    }; 

    } 

    template <typename A, typename B, typename...C> 
    auto bar(A a, B b, C&&... c) { 
    return test::wrapper::bar_(std::move(a), std::move(b), std::forward<C>(c)...); 
    } 

    template<typename T> 
    class foo 
    { 
    friend struct test::wrapper; 

    int _p; 
    public: 
    foo(int f) : _p(f) {} 
    }; 
} 

int main() { 
    outer::foo<int> a1(1); 
    outer::foo<int> a2(2); 

    auto result = outer::bar(2.3, 4.5, a1, a2); 
    cout << get<0>(result) << " " << get<1>(result) << '\n'; 

    return 0; 
} 

[live demo]

Answer 2

Dường như với tôi một kêu vang ++ lỗi (đó là sự thật mà _p là private, nhưng bar_() phải là một chức năng friend cho foo lớp).

Một cách giải quyết có thể là thêm một getter getP() trong foo

template<typename T> 
class foo 
{ 
// template <typename A, typename B, typename...C> 
// friend auto outer::test::bar_(A&&, B&&, C&&... c); 

    int _p; 
public: 
    foo(int f) : _p(f) {} 

    int getP() const // <--- added getP() 
    { return _p; } 
}; 

và sử dụng nó trong bar_()

template <typename A, typename B, typename...C> 
auto bar_(A&&, B&&, C&&... c) { 
    return std::make_tuple(c.getP()...); 
}