Bản đồ là một hàm áp dụng một hàm khác cho tất cả các mục trong danh sách, để tạo ra một danh sách khác với tất cả các giá trị trả về trên đó. (Một cách khác để nói "áp dụng f vào x" là "gọi f, chuyển nó x". Vì vậy, đôi khi nói "áp dụng" thay vì "gọi" nghe hay hơn).
Đây là cách bản đồ có thể được viết bằng C # (nó được gọi Selectvà nằm trong thư viện chuẩn):
public static IEnumerable<R> Select<T, R>(this IEnumerable<T> list, Func<T, R> func)
{
foreach (T item in list)
yield return func(item);
}
Vì bạn là một người yêu thích Java, và Joel Spolsky thích nói với DANH SÁCH KHÔNG CÔNG BẰNG DUY NHẤT về việc Java tồi tệ như thế nào (thực ra, anh ấy không nói dối, nó thật tồi tệ, nhưng tôi đang cố gắng thu phục bạn), đây là nỗ lực rất thô bạo của tôi về một phiên bản Java (Tôi không có trình biên dịch Java và tôi mơ hồ nhớ phiên bản Java 1.1!):
// represents a function that takes one arg and returns a result
public interface IFunctor
{
object invoke(object arg);
}
public static object[] map(object[] list, IFunctor func)
{
object[] returnValues = new object[list.length];
for (int n = 0; n < list.length; n++)
returnValues[n] = func.invoke(list[n]);
return returnValues;
}
Tôi chắc rằng điều này có thể được cải thiện theo một triệu cách. Nhưng đó là ý tưởng cơ bản.
Giảm là một hàm biến tất cả các mục trên danh sách thành một giá trị duy nhất. Để làm điều này, nó cần được cung cấp một chức năng khác funcbiến hai mục thành một giá trị duy nhất. Nó sẽ hoạt động bằng cách cho hai mục đầu tiên vào func. Sau đó, kết quả của điều đó cùng với mục thứ ba. Sau đó, kết quả của điều đó với mục thứ tư, và cứ tiếp tục như vậy cho đến khi tất cả các mục đã hết và chúng ta chỉ còn lại một giá trị.
Trong C # giảm được gọi là Aggregate và lại nằm trong thư viện chuẩn. Tôi sẽ chuyển thẳng đến phiên bản Java:
// represents a function that takes two args and returns a result
public interface IBinaryFunctor
{
object invoke(object arg1, object arg2);
}
public static object reduce(object[] list, IBinaryFunctor func)
{
if (list.length == 0)
return null; // or throw something?
if (list.length == 1)
return list[0]; // just return the only item
object returnValue = func.invoke(list[0], list[1]);
for (int n = 1; n < list.length; n++)
returnValue = func.invoke(returnValue, list[n]);
return returnValue;
}
Các phiên bản Java này cần bổ sung các số liệu chung, nhưng tôi không biết cách thực hiện điều đó trong Java. Nhưng bạn có thể vượt qua chúng các lớp bên trong ẩn danh để cung cấp các bộ điều khiển:
string[] names = getLotsOfNames();
string commaSeparatedNames = (string)reduce(names,
new IBinaryFunctor {
public object invoke(object arg1, object arg2)
{ return ((string)arg1) + ", " + ((string)arg2); }
}
Hy vọng rằng thuốc chung sẽ loại bỏ được các phôi. Tương đương với an toàn loại trong C # là:
string commaSeparatedNames = names.Aggregate((a, b) => a + ", " + b);
Tại sao điều này là "mát mẻ"? Những cách đơn giản để chia nhỏ các phép tính lớn hơn thành các phần nhỏ hơn, để chúng có thể ghép lại với nhau theo nhiều cách khác nhau, luôn thú vị. Cách Google áp dụng ý tưởng này là song song hóa, vì cả bản đồ và bản thu gọn đều có thể được chia sẻ trên nhiều máy tính.
Nhưng yêu cầu quan trọng KHÔNG phải là ngôn ngữ của bạn có thể coi các hàm như các giá trị. Bất kỳ ngôn ngữ OO nào cũng có thể làm được điều đó. Yêu cầu thực tế đối với song song hóa là các funcchức năng nhỏ bạn chuyển để ánh xạ và thu gọn không được sử dụng hoặc cập nhật bất kỳ trạng thái nào. Chúng phải trả về một giá trị chỉ phụ thuộc vào (các) đối số được chuyển cho chúng. Nếu không, kết quả sẽ hoàn toàn sai lệch khi bạn cố gắng chạy song song toàn bộ.