使用decltype的類型的條件聲明

Question

我認為條件類型可以在模板函數中使用decltype聲明。 但似乎沒有。 誰能指出我的測試代碼有什么問題？

#include <boost/type_index.hpp>
using boost::typeindex::type_id_with_cvr;

#define print_type(var) do { \
  std::cout << type_id_with_cvr<decltype(var)>().pretty_name() << std::endl; \
} while(0)

template <typename T1, typename T2>
auto max(T1 a, T2 b) -> decltype(a < b ? b : a) {
  decltype(a < b ? b : a) c = a < b ? b : a;
  print_type(c);
  return a < b ? b : a;
}

int main() {
  int i = 10;
  double d = 3.3;

  decltype(i < d? d : i) r = i < d? d : i;
  print_type(r); // -> double
  std::cout << r << std::endl; // 10
}

Answer 1

我想你的意圖

decltype( a < b ? a : b )

是獲得的類型b當a < b和類型a否則。

那就是：我想你的意圖是根據a和b的欠幅時間值獲得一個確定類型的運行時間 。

這在C ++中是不可能的，因為變量的類型必須由編譯時決定。

使用該decltype()您將獲得三元運算符的類型

a < b ? a : b

這不取決於a和b的值，而只取決於它們的類型。

所以，在這種情況下

decltype(i < d? d : i)

其中i是int ， d是double ，你得到一個double ， i和d的值是無關緊要的。