chuyển đổi ngầm từ int để shared_ptr

Question

Hãy xem xét các đoạn mã sau:

#include <iostream> 
#include <memory> 

void f(std::shared_ptr<int> sp) {} 

template <typename FuncType, typename PtrType> 
auto call_f(FuncType f, PtrType p) -> decltype(f(p)) 
{ 
    return f(p); 
} 

int main() 
{ 
    f(0); // doesn't work for any other int != 0, thanks @Rupesh 
    // call_f(f, 0); // error, cannot convert int to shared_ptr 
} 

Trong dòng đầu tiên trong main(), số nguyên 0 được chuyển thành một std::shared_ptr<int> và cuộc gọi f(0) thành công mà không cần bất kỳ vấn đề. Tuy nhiên, bằng cách sử dụng một mẫu để gọi chức năng làm cho mọi thứ khác nhau. Dòng thứ hai sẽ không biên dịch nữa, lỗi là

error: could not convert 'p' from 'int' to 'std::shared_ptr<int>' 

Câu hỏi của tôi là:

1. Tại sao cuộc gọi đầu tiên thành công và lần thứ hai không? Có điều gì tôi thiếu ở đây không?
2. Tôi cũng không hiểu cách chuyển đổi từ int sang std::shared_ptr đang được thực hiện trong cuộc gọi f(0), vì có vẻ như std::shared_ptr chỉ có các nhà thầu rõ ràng.

PS: Một biến thể của ví dụ này xuất hiện trong Scott Meyers' hiệu quả Modern C++ khoản 8, như một cách để bảo vệ cuộc gọi như vậy với nullptr.

Answer 1

std::shared_ptr có một constructor mà mất std :: nullptr_t, đen 0 là một con trỏ hằng rỗng đó là convertiable để std :: nullptr_t từ dự thảo tiêu chuẩn C++ phần 4.10[conv.ptr] (tôi nhấn mạnh đi về phía trước):

một con trỏ hằng null là một biểu thức hằng số tích phân (5.19) prvalue kiểu integer mà đánh giá bằng không hoặc một prvalue loại std :: nullptr_t.Một hằng số con trỏ null có thể được chuyển đổi thành kiểu con trỏ ; kết quả là giá trị con trỏ null của kiểu đó và là có thể phân biệt với mọi giá trị khác của con trỏ đối tượng hoặc hàm kiểu con trỏ. Chuyển đổi như vậy được gọi là chuyển đổi con trỏ null. Hai giá trị con trỏ null cùng loại sẽ so sánh bằng nhau. Việc chuyển đổi hằng số con trỏ null thành con trỏ tới loại có độ phân giải cv là một chuyển đổi duy nhất và không phải là chuỗi của con trỏ chuyển đổi, sau đó là chuyển đổi đủ điều kiện (4.4). A null hằng số con trỏ của loại tích phân có thể được chuyển đổi thành giá trị của loại std :: nullptr_t. [Lưu ý: Giá trị kết quả không phải là giá trị con trỏ null. lưu ý end]

trong trường hợp thứ hai của bạn p đang được suy luận as type int mà mặc dù có giá trị bằng không không còn là một con trỏ hằng rỗng và do đó không phù hợp cùng kiểu chữ.

Như T.C. chỉ ra những từ ngữ được thay đổi với DR 903 đòi hỏi một số nguyên theo nghĩa đen với giá trị zero như trái ngược với một không thể thiếu biểu thức hằng mà đánh giá bằng không:

Một con trỏ hằng null là một số nguyên chữ (2.14.2) với giá trị không hoặc giá trị của loại std :: nullptr_t. Một hằng số con trỏ null có thể được chuyển đổi thành kiểu con trỏ; kết quả là con trỏ null là giá trị của loại đó và có thể phân biệt với mọi giá trị khác của con trỏ đối tượng hoặc kiểu con trỏ hàm.

Answer 2

mỗi [conv.ptr]/1 (trích dẫn N4296 đây):

Một rỗng con trỏ hằng là một số nguyên chữ (2.13.2) với giá trị zero hoặc một prvalue loại std::nullptr_t. ... Hằng số con trỏ null của kiểu tích phân có thể được chuyển đổi thành giá trị của loại std::nullptr_t.

shared_ptr có một constructor không rõ ràng chấp nhận std::nullptr_t mỗi [util.smartptr.shared.const]/1:

constexpr shared_ptr(nullptr_t) noexcept : shared_ptr() { } 

mà xây dựng một sản phẩm nào, không sở hữu shared_ptr.

Khi bạn gọi f(0) trực tiếp, 0 là một rỗng con trỏ hằng được ngầm chuyển đổi sang shared_ptr<int> bởi các nhà xây dựng ở trên. Khi bạn gọi số call_f(f, 0), loại 0 chữ được suy ra thành int và dĩ nhiên không thể chuyển đổi int thành số shared_ptr<int>.

Answer 3

Gọi linh sam f (0) được biên dịch thành f (nullptr), điều này là tốt cho trình biên dịch (nhưng không phải theo ý kiến ​​của tôi). Cuộc gọi thứ hai sẽ tạo ra khai báo cho một hàm để làm việc trên bất kỳ int nào, đó là bất hợp pháp.

Buồn cười là, mà ngay cả mã này hoạt động:

f(3-3); 
f(3*0);