Nhà xây dựng dự phòng variadic - tại sao tính năng này hoạt động?

Question

Khi trả lời this question về cách cố gắng xây dựng một hàm tạo tham chiếu chuyển tiếp variadic chỉ nên được gọi nếu không có hàm tạo nào khác hợp lệ. Đó là, nếu có một:

C(const char*, size_t) { }      // 1 
template <typename... T, ???> C(T&&...) { } // 2 

Chúng tôi muốn C c1{"abc", 2}; để gọi số (1), mặc dù việc chuyển đổi bắt buộc, nhưng C c2{1, 2, 3}; để gọi số (2), như (1) không thể áp dụng.

tôi đề xuất các giải pháp sau đây:

template <typename... T, 
      typename = std::enable_if_t<!std::is_constructible<C, T&&...>::value> 
      > 
C(T&&...) { } 

Và bằng cách đề nghị, ý tôi là, tôi đã thử nó và rất ngạc nhiên khi phát hiện ra rằng nó thực sự hoạt động. Nó biên dịch và thực hiện chính xác những gì tôi đã hy vọng cho cả gcc và clang. Tuy nhiên, tôi không hiểu giải thích tại sao lý do tại sao nó hoạt động hoặc thậm chí nếu nó thực sự là giả định để hoạt động và gcc và clang đều vừa đủ khả năng. Là nó? Tại sao?

Answer 1

Vấn đề với mã của bạn là chúng tôi vừa tạo ra is_constructible trong ngữ cảnh có câu trả lời sai là. Bất kỳ loại bộ nhớ đệm nào trong mã mẫu đều có khả năng dẫn đến lỗi - hãy thử in is_constructible trên cùng các thông số sau khi bạn gọi hàm khởi tạo! Nó có thể làm cho nó sai.

Live example cách có thể xảy ra sự cố. Lưu ý rằng yêu cầu bồi thường C không thể được xây dựng từ int&, mặc dù đã thực hiện trên dòng trước đó.

struct C { 
    C(const char*, size_t) {} 
    template <class... Ts, 
    typename = std::enable_if_t<!std::is_constructible<C, Ts&&...>::value> 
    > 
    C(Ts&&...) { } 
}; 

int main() { 
    int a = 0; 
    C x{a}; 
    std::cout << std::is_constructible<C, int&>{} << '\n'; 
} 

oops.

Tôi cho rằng đây có thể là vi phạm ODR - hai định nghĩa của is_constructible có các loại khác nhau tại các vị trí khác nhau? Hoặc có thể không.

Solution to the original problem that does not have this issue cũng được đăng.