টাইপ করা তথ্য কখন সি ++ এ পিছনে প্রবাহিত হয়?

Question 1

আমি সবেমাত্র CppCon 2018"ক্লাস টেম্পলেট আর্গুমেন্ট কমানো " তে স্টিফান টি। লাভভেজের আলাপ দেখেছি , যেখানে কোনও এক সময় তিনি ঘটনাচক্রে বলেছেন:

সি ++ ধরণের তথ্য প্রায় কখনই পিছনের দিকে প্রবাহিত হয় না ... আমাকে "প্রায়" বলতে হয়েছিল কারণ একটি বা দুটি ক্ষেত্রে সম্ভবত আরও বেশি তবে খুব কম রয়েছে ।

তিনি কোন কোন মামলার বিষয়ে উল্লেখ করছেন তা জানার চেষ্টা করেও আমি কিছুই নিয়ে আসতে পারিনি। সুতরাং প্রশ্ন:

কোন ক্ষেত্রে সি ++ 17 স্ট্যান্ডার্ড ম্যান্ডেটের ধরণের তথ্য পিছনের দিকে প্রচার করে?

Question 2

এখানে কমপক্ষে একটি মামলা দেওয়া হল:

struct foo {
  template<class T>
  operator T() const {
    std::cout << sizeof(T) << "\n";
    return {};
  }
};

যদি আপনি এটি করেন তবে foo f; int x = f; double y = f;টাইপ তথ্যটি "পিছনের দিকে" প্রবাহিত হবে Tযা ভিতরে রয়েছে তা বের করার জন্য operator T।

আপনি এটি আরও উন্নত উপায়ে ব্যবহার করতে পারেন:

template<class T>
struct tag_t {using type=T;};

template<class F>
struct deduce_return_t {
  F f;
  template<class T>
  operator T()&&{ return std::forward<F>(f)(tag_t<T>{}); }
};
template<class F>
deduce_return_t(F&&)->deduce_return_t<F>;

template<class...Args>
auto construct_from( Args&&... args ) {
  return deduce_return_t{ [&](auto ret){
    using R=typename decltype(ret)::type;
    return R{ std::forward<Args>(args)... };
  }};
}

তাই এখন আমি করতে পারি

std::vector<int> v = construct_from( 1, 2, 3 );

এবং এটি কাজ করে।

অবশ্যই, কেন না কেন {1,2,3}? ভাল, {1,2,3}একটি অভিব্যক্তি নয়।

std::vector<std::vector<int>> v;
v.emplace_back( construct_from(1,2,3) );

যা স্বীকার করে নিন, এর জন্য আরও কিছুটা জাদুকরী প্রয়োজন: লাইভ উদাহরণ । (আমাকে ছাড়ের ফিরতি একটি SFINAE চেক করতে হবে, তারপরে এফটিকে SFINAE বান্ধব করে তুলতে হবে, এবং আমাকে অনুমান_আরক্ষক_আপনার টি তে স্ট্যান্ড :: আরম্ভকারী_লিস্ট ব্লক করতে হবে)

Question 3

স্টিফান টি। লাভভেজ একটি টুইট বার্তায় তিনি যে মামলার কথা বলছিলেন তা ব্যাখ্যা করেছিলেন :

আমি যে কেসটির কথা ভাবছিলাম তা হ'ল আপনি কোথায় ওভারলোডেড / টেম্পলেটযুক্ত ফাংশনটির ঠিকানা নিতে পারেন এবং যদি এটি কোনও নির্দিষ্ট ধরণের ভেরিয়েবল শুরু করতে ব্যবহার করা হয়, তবে এটি আপনি যেটি চান তা ছিন্নমূল করবে। (কী বিশৃঙ্খলা সৃষ্টি করে তার একটি তালিকা রয়েছে))

আমরা ওভারলোডেড ফাংশনের ঠিকানায় সিপ্রেফারেন্স পৃষ্ঠা থেকে এর উদাহরণ দেখতে পাচ্ছি , আমি নীচে কয়েকটি বাদ দিয়েছি:

int f(int) { return 1; } 
int f(double) { return 2; }   

void g( int(&f1)(int), int(*f2)(double) ) {}

int main(){
    g(f, f); // selects int f(int) for the 1st argument
             // and int f(double) for the second

     auto foo = []() -> int (*)(int) {
        return f; // selects int f(int)
    }; 

    auto p = static_cast<int(*)(int)>(f); // selects int f(int)
}

মাইকেল পার্ক যোগ করেছে :

এটি কোনও কংক্রিটের প্রারম্ভিকভাবে সীমাবদ্ধ নয় not এটি আর্গুমেন্টের সংখ্যা থেকেও অনুমান করতে পারে

এবং এই লাইভ উদাহরণ সরবরাহ করে :

void overload(int, int) {}
void overload(int, int, int) {}

template <typename T1, typename T2,
          typename A1, typename A2>
void f(void (*)(T1, T2), A1&&, A2&&) {}

template <typename T1, typename T2, typename T3,
          typename A1, typename A2, typename A3>
void f(void (*)(T1, T2, T3), A1&&, A2&&, A3&&) {}

int main () {
  f(&overload, 1, 2);
}

যা আমি এখানে আরও কিছুটা ব্যাখ্যা করি ।

Question 4

আমি ওভারলোডেড ফাংশনগুলির স্থির castালাইতে বিশ্বাস করি যে প্রবাহটি স্বাভাবিক ওভারলোড রেজোলিউশনের মতো বিপরীত দিকে যায়। সুতরাং এর মধ্যে একটি পিছনে, আমার ধারণা।