Re: 請問陣列的宣告…
※ 引述《Corroson@kkcity.com.tw (藍月楓鈴)》之銘言：
> ※ 引述《Wiseman.bbs@bbs.cs.nthu.edu.tw (benqer)》之銘言：
> > 隱式template? 沒聽過這種東西, 也不知道用處在哪
> 就是把本來該寫出 template 的地方省略不寫。
那你要如何處理以下的問題
1. template<typename T>
void func(T p)
{
typename T::size_type i= p.size();
}
現在你說可以把template省略, T也可以省略,
那請問省略之後, 要如何才能取得參數p的型別(原本為T)的typedef ?
如同上例, 我們原本可以用typename T::來取得關於T type的其他資訊
現在你把這些重要資訊都省略了, 要如何解決以上的問題?
2. template的template parameter不一定只用在函式的參數上, 也可能是
用在函式的區域變數 ex
template<typename T>
T max(T p1, T p2)
{
T result;
if (p2>p1) result = p2;
else result= p1;
return result;
}
如同上例, 請問如果template跟T都省略了, 你如何指定result跟
p1,p2同type這個事實?
> > 使用template就意謂者型別必須於編譯期決定, (多型型別除外), ex
> > cout 是ostream type的物件, 但他的實作並不是去處理執行期才確定的物件
> > 而是針對每種物件定義出不同版本的function, 再由compiler辨析該採用的版本
> 正是如此。 fb(x) 不必在編譯時期確定其型別！
"由compiler辨析該採用的版本"這句話說得還不夠清楚嗎?
你要不要再回去K一下c++的書再來討論?
> > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> > 你真是說了天大的笑話了, 型別安全和效能恰巧就是scrip的缺點,
> > 你如果要說服大家的話,就拿出理由來證明吧
> 在本文之初，就已經說明，並非指現狀，而是指出一個發展方向。
> 它可以是同時滿足型別安全與執行效能的。
根本就是屁話, 你有什麼知識跟經驗夠格為大家指出c++的未來發展方向?
連基礎知識都不夠, 只是看了script的動態彈性就一廂情願的自以為是靈
丹妙藥, 如果你這麼喜歡script, 請改用smalltalk, static type的c++
是不合你胃口的
> > 既然說是template, 又說是由compiler檢查type-safety,
> > 那又何來以上所說runtime才確定型別的說法?
> > 你的觀念很矛盾
> 就如同 C++ 的指標可以 new 初衍生類別一樣。只不過這樣還不夠彈性。
> understand?
什麼彈性? 你可以用那樣的彈性應用在那裡?
有彈性就一定好喔 ? , 自己再想想吧
> > c++太嫩? 我看是你太嫩, 你根本不了解c++的多型跟泛型的意義 就在此妄下斷言
> > virtual/多型 允許物件的確切型別可以在runtime決定, 但是在compile-time,
> > 多型物件仍會遵循其base class的規則,由compiler進行檢查, 正因為多型物件
> > 在runtime是以base class物件的方式來使用, 所以即使compiler不知道多型物件
> > 的確切型別,也沒有違反type-safety的危險.
> > (多型物件以concret type object來使用時當然也就遵循各別多型物件的規則)
> C++ 的缺點，就是必須要以人工的方式作類別正規化。
> function dynamic(x)
> {
> if (x%1)
> return Circle(x);
> else
> return Square(x);
> }
> 以這個例子來說，編譯器至少應該自動去找他的基礎類別才是。
蠢得要命, function signature不指定回傳的type, 要讓compiler自己猜
就為了少打幾個字, 使用此function的人從此得從function的comment or document
猜回傳的型別.
我想你乾脆就把c++改成type-less, 所有的type都由compiler
從程式中粹取導出定義好了.
--
※ Origin: 楓橋驛站<bbs.cs.nthu.edu.tw> ◆ From: NK219-91-116-171.adsl.dynamic.apol.com.tw
討論串 (同標題文章)
java 近期熱門文章
PTT數位生活區 即時熱門文章
